(TranslationUnit
    (SymbolTable
        1
        {
            nullify_01:
                (Program
                    (SymbolTable
                        2
                        {
                            p1:
                                (Variable
                                    2
                                    p1
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Pointer
                                        (Integer 4)
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            p2:
                                (Variable
                                    2
                                    p2
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Pointer
                                        (Integer 4)
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            t1:
                                (Variable
                                    2
                                    t1
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .true.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                )
                        })
                    nullify_01
                    []
                    [(Associate
                        (Var 2 p1)
                        (Var 2 t1)
                    )
                    (Associate
                        (Var 2 p2)
                        (Var 2 t1)
                    )
                    (Assignment
                        (Var 2 p1)
                        (IntegerConstant 1 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Nullify
                        [(Var 2 p1)
                        (Var 2 p2)]
                    )]
                )
        })
    []
)
