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