inv: PREDICATE [TEST1 [INTEGER_32], TUPLE [INTEGER_32]]
inv: PREDICATE [TEST1 [INTEGER_32], TUPLE [INTEGER_32]]
TYPE [INTEGER_32]
inv: PREDICATE [TEST1 [INTEGER_32], TUPLE [INTEGER_32]]
inv: PREDICATE [TEST1 [INTEGER_32], TUPLE [INTEGER_32]]
pre: PREDICATE [TEST1 [INTEGER_32], TUPLE [INTEGER_32]]
post: PREDICATE [TEST1 [INTEGER_32], TUPLE [INTEGER_32]]
inv: PREDICATE [TEST1 [INTEGER_32], TUPLE [INTEGER_32]]
0
inv: PREDICATE [TEST1 [CHARACTER_8], TUPLE [CHARACTER_8]]
inv: PREDICATE [TEST1 [CHARACTER_8], TUPLE [CHARACTER_8]]
TYPE [CHARACTER_8]
inv: PREDICATE [TEST1 [CHARACTER_8], TUPLE [CHARACTER_8]]
inv: PREDICATE [TEST1 [CHARACTER_8], TUPLE [CHARACTER_8]]
pre: PREDICATE [TEST1 [CHARACTER_8], TUPLE [CHARACTER_8]]
post: PREDICATE [TEST1 [CHARACTER_8], TUPLE [CHARACTER_8]]
inv: PREDICATE [TEST1 [CHARACTER_8], TUPLE [CHARACTER_8]]
0
TYPE [STRING_8]
pre: PREDICATE [TEST, TUPLE [STRING_8]]
post: PREDICATE [TEST, TUPLE [STRING_8]]
0
Execution completed