Update test 29.

1 files changed, 1221 insertions, 0 deletions

diff --git a/test/test29-03.txt b/test/test29-03.txt
index a065e47..484ac0f 100644
--- a/test/test29-03.txt
+++ b/test/test29-03.txt
@@ -64,6 +64,27 @@ integer_cst 96: ptr1, ptr2,
 type_decl Data1: ptr1, ptr2, 
 integer_cst 64: ptr1, ptr2, 
 integer_cst 0: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
 return_expr : ptr1, ptr2, 
 cleanup_point_expr : ptr1, ptr2, 
 expr_stmt : ptr1, 
@@ -372,3 +393,1203 @@ integer_cst 96:
 type_decl Data1: 
 block : ptr2, 
 var_decl ptr1: 
+function_decl func4: 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+if_stmt : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+return_expr : ptr1, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+function_decl func5: 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+if_stmt : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data2: ptr1, ptr2, 
+field_decl : ptr1, ptr2, 
+integer_cst 256: ptr1, ptr2, 
+type_decl Data2: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+return_expr : ptr1, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+convert_expr : ptr1, ptr2, 
+modify_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data2: ptr1, ptr2, 
+field_decl : ptr1, ptr2, 
+integer_cst 256: ptr1, ptr2, 
+type_decl Data2: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+function_decl func6: 
+bind_expr : ptr2, 
+statement_list : ptr2, 
+decl_expr : ptr2, 
+var_decl ptr1: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+if_stmt : ptr2, 
+ne_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+type_decl Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+field_decl ptrval: ptr2, 
+integer_cst 64: ptr2, 
+field_decl arr: ptr2, 
+integer_cst 96: ptr2, 
+type_decl Data1: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+field_decl ptrval: 
+integer_cst 64: 
+field_decl arr: 
+integer_cst 96: 
+type_decl Data1: 
+integer_cst 64: 
+integer_cst 0: 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+convert_expr : ptr2, 
+modify_expr : ptr2, 
+var_decl ptr1: ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+init_expr : ptr1, ptr2, 
+result_decl : ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+var_decl ptr1: ptr1, ptr2, 
+var_decl ptr1: ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl ptr1: ptr1, ptr2, 
+function_decl func7: 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+if_stmt : ptr2, 
+truth_orif_expr : ptr2, 
+eq_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+type_decl Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+field_decl ptrval: ptr2, 
+integer_cst 64: ptr2, 
+field_decl arr: ptr2, 
+integer_cst 96: ptr2, 
+type_decl Data1: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+eq_expr : 
+var_decl k: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 10: 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+return_expr : ptr2, 
+statement_list : 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : ptr2, 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : ptr2, 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : ptr2, 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : ptr2, 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+function_decl func8: 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+if_stmt : ptr2, 
+truth_andif_expr : ptr2, 
+eq_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+type_decl Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+field_decl ptrval: ptr2, 
+integer_cst 64: ptr2, 
+field_decl arr: ptr2, 
+integer_cst 96: ptr2, 
+type_decl Data1: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+eq_expr : ptr2, 
+var_decl k: ptr2, 
+integer_cst 32: ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 10: ptr2, 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+return_expr : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+function_decl func9: 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+if_stmt : ptr2, 
+truth_orif_expr : ptr2, 
+ne_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+type_decl Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+field_decl ptrval: ptr2, 
+integer_cst 64: ptr2, 
+field_decl arr: ptr2, 
+integer_cst 96: ptr2, 
+type_decl Data1: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+eq_expr : ptr2, 
+var_decl k: ptr2, 
+integer_cst 32: ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 10: ptr2, 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+return_expr : ptr2, 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+function_decl func10: 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+if_stmt : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+record_type : ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+field_decl val: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+type_decl Data1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+return_expr : ptr1, ptr2, 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+function_decl func11: 
+statement_list : ptr1, ptr2, 
+if_stmt : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr2, 
+parm_decl ptr2: ptr2, 
+pointer_type : ptr2, 
+integer_type : ptr2, 
+type_decl int: ptr2, 
+integer_cst 32: ptr2, 
+integer_cst -2147483648: ptr2, 
+integer_cst 2147483647: ptr2, 
+integer_cst 64: ptr2, 
+integer_cst 0: ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+return_expr : ptr2, 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+function_decl func12: 
+statement_list : ptr1, ptr2, 
+if_stmt : ptr1, ptr2, 
+truth_andif_expr : ptr1, ptr2, 
+truth_orif_expr : ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr2: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+ne_expr : ptr1, ptr2, 
+parm_decl ptr1: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+statement_list : ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+cleanup_point_expr : ptr2, 
+expr_stmt : ptr2, 
+call_expr : ptr2, 
+addr_expr : ptr2, 
+function_decl paranuckerInternalTest: ptr2, 
+return_expr : ptr2, 
+statement_list : ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+cleanup_point_expr : ptr1, ptr2, 
+expr_stmt : ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+addr_expr : ptr1, ptr2, 
+function_decl paranuckerInternalTest: ptr1, ptr2, 
+function_decl func13: 
+statement_list : ptr1, 
+if_stmt : ptr1, 
+truth_andif_expr : ptr1, 
+truth_orif_expr : ptr1, 
+ne_expr : ptr1, 
+parm_decl ptr1: ptr1, 
+pointer_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+ne_expr : ptr1, 
+parm_decl ptr1: ptr1, 
+pointer_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+ne_expr : 
+test29.cpp: In member function 'void Object1::func13(int*)':
+test29.cpp:338:28: warning: Useless variable check 'ptr1'. It already was checked before
+         if ((ptr1 || ptr1) && ptr1)
+                            ^
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 0: 
+statement_list : 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+return_expr : 
+statement_list : ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+test29.cpp:350:35: warning: internal collections 'knownNullVars' is different.
+want: ptr1,
+ get: 
+             paranuckerInternalTest("=", "knownNullVars", "ptr1");
+                                   ^
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+test29.cpp:355:31: warning: internal collections 'knownNullVars' is different.
+want: ptr1,
+ get: 
+         paranuckerInternalTest("=", "knownNullVars", "ptr1");
+                               ^
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+function_decl func14: 
+statement_list : ptr1, 
+if_stmt : ptr1, 
+truth_orif_expr : ptr1, 
+truth_andif_expr : ptr1, 
+ne_expr : ptr1, 
+parm_decl ptr1: ptr1, 
+pointer_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+ne_expr : 
+test29.cpp: In member function 'void Object1::func14(int*)':
+test29.cpp:363:19: warning: Useless variable check 'ptr1'. It already was checked before
+         if ((ptr1 && ptr1) || ptr1)
+                   ^
+parm_decl ptr1: 
+pointer_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 64: 
+integer_cst 0: 
+ne_expr : ptr1, 
+parm_decl ptr1: ptr1, 
+pointer_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+statement_list : 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+return_expr : 
+statement_list : ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1, 
+cleanup_point_expr : ptr1, 
+expr_stmt : ptr1, 
+call_expr : ptr1, 
+addr_expr : ptr1, 
+function_decl paranuckerInternalTest: ptr1,