(TranslationUnit
    (SymbolTable
        1
        {
            types_06:
                (Program
                    (SymbolTable
                        2
                        {
                            i:
                                (Variable
                                    2
                                    i
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            r:
                                (Variable
                                    2
                                    r
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    types_06
                    []
                    [(Assignment
                        (Var 2 r)
                        (Cast
                            (IntegerConstant 2 (Integer 4) Decimal)
                            IntegerToReal
                            (Real 4)
                            (RealConstant
                                2.000000
                                (Real 4)
                            )
                        )
                        ()
                    )
                    (Assignment
                        (Var 2 i)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        ()
                    )
                    (If
                        (IntegerCompare
                            (Var 2 i)
                            Lt
                            (Var 2 i)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            Lt
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            Lt
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            Lt
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (IntegerCompare
                            (Var 2 i)
                            Gt
                            (Var 2 i)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            Gt
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            Gt
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            Gt
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (IntegerCompare
                            (Var 2 i)
                            NotEq
                            (Var 2 i)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            NotEq
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            NotEq
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            NotEq
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (IntegerCompare
                            (IntegerBinOp
                                (Var 2 i)
                                Add
                                (IntegerConstant 1 (Integer 4) Decimal)
                                (Integer 4)
                                ()
                            )
                            LtE
                            (Var 2 i)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (RealBinOp
                                (Var 2 r)
                                Add
                                (Cast
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    IntegerToReal
                                    (Real 4)
                                    (RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                )
                                (Real 4)
                                ()
                            )
                            LtE
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (RealBinOp
                                (Var 2 r)
                                Add
                                (Cast
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    IntegerToReal
                                    (Real 4)
                                    (RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                )
                                (Real 4)
                                ()
                            )
                            LtE
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Cast
                                (IntegerBinOp
                                    (Var 2 i)
                                    Add
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    (Integer 4)
                                    ()
                                )
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            LtE
                            (Var 2 r)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (IntegerCompare
                            (Var 2 i)
                            GtE
                            (IntegerBinOp
                                (Var 2 i)
                                Add
                                (IntegerConstant 1 (Integer 4) Decimal)
                                (Integer 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            GtE
                            (RealBinOp
                                (Var 2 r)
                                Add
                                (Cast
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    IntegerToReal
                                    (Real 4)
                                    (RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                )
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            GtE
                            (Cast
                                (IntegerBinOp
                                    (Var 2 i)
                                    Add
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    (Integer 4)
                                    ()
                                )
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            GtE
                            (RealBinOp
                                (Var 2 r)
                                Add
                                (Cast
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    IntegerToReal
                                    (Real 4)
                                    (RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                )
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (IntegerCompare
                            (Var 2 i)
                            Eq
                            (IntegerBinOp
                                (Var 2 i)
                                Add
                                (IntegerConstant 1 (Integer 4) Decimal)
                                (Integer 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            Eq
                            (RealBinOp
                                (Var 2 r)
                                Add
                                (Cast
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    IntegerToReal
                                    (Real 4)
                                    (RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                )
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Var 2 r)
                            Eq
                            (Cast
                                (IntegerBinOp
                                    (Var 2 i)
                                    Add
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    (Integer 4)
                                    ()
                                )
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (Cast
                                (Var 2 i)
                                IntegerToReal
                                (Real 4)
                                ()
                            )
                            Eq
                            (RealBinOp
                                (Var 2 r)
                                Add
                                (Cast
                                    (IntegerConstant 1 (Integer 4) Decimal)
                                    IntegerToReal
                                    (Real 4)
                                    (RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                )
                                (Real 4)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
