Block(
    Block {
        statements: [
            Function(
                Function {
                    name: "main",
                    params: [
                        LuauParam {
                            name: "a",
                            typ: LuauType {
                                type_name: "number",
                                is_mut: false,
                                is_ref: false,
                            },
                        },
                        LuauParam {
                            name: "b",
                            typ: LuauType {
                                type_name: "number",
                                is_mut: false,
                                is_ref: false,
                            },
                        },
                    ],
                    ret_type: Some(
                        LuauType {
                            type_name: "boolean",
                            is_mut: false,
                            is_ref: false,
                        },
                    ),
                    body: Block(
                        Block {
                            statements: [
                                If(
                                    If {
                                        condition: BinaryOp(
                                            BinaryOp {
                                                op: "==",
                                                left: Value(
                                                    Value {
                                                        value: "a",
                                                    },
                                                ),
                                                right: Value(
                                                    Value {
                                                        value: "1",
                                                    },
                                                ),
                                            },
                                        ),
                                        then_branch: Block(
                                            Block {
                                                statements: [
                                                    If(
                                                        If {
                                                            condition: BinaryOp(
                                                                BinaryOp {
                                                                    op: "==",
                                                                    left: Value(
                                                                        Value {
                                                                            value: "b",
                                                                        },
                                                                    ),
                                                                    right: Value(
                                                                        Value {
                                                                            value: "2",
                                                                        },
                                                                    ),
                                                                },
                                                            ),
                                                            then_branch: Block(
                                                                Block {
                                                                    statements: [
                                                                        Return(
                                                                            Return {
                                                                                value: Some(
                                                                                    Value(
                                                                                        Value {
                                                                                            value: "true",
                                                                                        },
                                                                                    ),
                                                                                ),
                                                                            },
                                                                        ),
                                                                    ],
                                                                },
                                                            ),
                                                            else_branch: Some(
                                                                If(
                                                                    If {
                                                                        condition: BinaryOp(
                                                                            BinaryOp {
                                                                                op: "==",
                                                                                left: Value(
                                                                                    Value {
                                                                                        value: "b",
                                                                                    },
                                                                                ),
                                                                                right: Value(
                                                                                    Value {
                                                                                        value: "3",
                                                                                    },
                                                                                ),
                                                                            },
                                                                        ),
                                                                        then_branch: Block(
                                                                            Block {
                                                                                statements: [
                                                                                    Return(
                                                                                        Return {
                                                                                            value: Some(
                                                                                                Value(
                                                                                                    Value {
                                                                                                        value: "true",
                                                                                                    },
                                                                                                ),
                                                                                            ),
                                                                                        },
                                                                                    ),
                                                                                ],
                                                                            },
                                                                        ),
                                                                        else_branch: Some(
                                                                            Block(
                                                                                Block {
                                                                                    statements: [
                                                                                        Return(
                                                                                            Return {
                                                                                                value: Some(
                                                                                                    Value(
                                                                                                        Value {
                                                                                                            value: "false",
                                                                                                        },
                                                                                                    ),
                                                                                                ),
                                                                                            },
                                                                                        ),
                                                                                    ],
                                                                                },
                                                                            ),
                                                                        ),
                                                                    },
                                                                ),
                                                            ),
                                                        },
                                                    ),
                                                ],
                                            },
                                        ),
                                        else_branch: Some(
                                            If(
                                                If {
                                                    condition: BinaryOp(
                                                        BinaryOp {
                                                            op: "==",
                                                            left: Value(
                                                                Value {
                                                                    value: "a",
                                                                },
                                                            ),
                                                            right: Value(
                                                                Value {
                                                                    value: "2",
                                                                },
                                                            ),
                                                        },
                                                    ),
                                                    then_branch: Block(
                                                        Block {
                                                            statements: [
                                                                Return(
                                                                    Return {
                                                                        value: Some(
                                                                            Value(
                                                                                Value {
                                                                                    value: "true",
                                                                                },
                                                                            ),
                                                                        ),
                                                                    },
                                                                ),
                                                            ],
                                                        },
                                                    ),
                                                    else_branch: Some(
                                                        If(
                                                            If {
                                                                condition: BinaryOp(
                                                                    BinaryOp {
                                                                        op: "==",
                                                                        left: Value(
                                                                            Value {
                                                                                value: "b",
                                                                            },
                                                                        ),
                                                                        right: Value(
                                                                            Value {
                                                                                value: "3",
                                                                            },
                                                                        ),
                                                                    },
                                                                ),
                                                                then_branch: Block(
                                                                    Block {
                                                                        statements: [
                                                                            If(
                                                                                If {
                                                                                    condition: BinaryOp(
                                                                                        BinaryOp {
                                                                                            op: "==",
                                                                                            left: Value(
                                                                                                Value {
                                                                                                    value: "a",
                                                                                                },
                                                                                            ),
                                                                                            right: Value(
                                                                                                Value {
                                                                                                    value: "3",
                                                                                                },
                                                                                            ),
                                                                                        },
                                                                                    ),
                                                                                    then_branch: Block(
                                                                                        Block {
                                                                                            statements: [
                                                                                                Return(
                                                                                                    Return {
                                                                                                        value: Some(
                                                                                                            Value(
                                                                                                                Value {
                                                                                                                    value: "true",
                                                                                                                },
                                                                                                            ),
                                                                                                        ),
                                                                                                    },
                                                                                                ),
                                                                                            ],
                                                                                        },
                                                                                    ),
                                                                                    else_branch: Some(
                                                                                        Block(
                                                                                            Block {
                                                                                                statements: [
                                                                                                    Return(
                                                                                                        Return {
                                                                                                            value: Some(
                                                                                                                Value(
                                                                                                                    Value {
                                                                                                                        value: "false",
                                                                                                                    },
                                                                                                                ),
                                                                                                            ),
                                                                                                        },
                                                                                                    ),
                                                                                                ],
                                                                                            },
                                                                                        ),
                                                                                    ),
                                                                                },
                                                                            ),
                                                                        ],
                                                                    },
                                                                ),
                                                                else_branch: Some(
                                                                    Block(
                                                                        Block {
                                                                            statements: [
                                                                                Return(
                                                                                    Return {
                                                                                        value: Some(
                                                                                            Value(
                                                                                                Value {
                                                                                                    value: "false",
                                                                                                },
                                                                                            ),
                                                                                        ),
                                                                                    },
                                                                                ),
                                                                            ],
                                                                        },
                                                                    ),
                                                                ),
                                                            },
                                                        ),
                                                    ),
                                                },
                                            ),
                                        ),
                                    },
                                ),
                            ],
                        },
                    ),
                },
            ),
        ],
    },
)