function initGlobals194() { } function main133() { initGlobals194(); init_test100(); } function config183() { } function init_test100() { local integer a_a290 local integer a_b181 local integer a_c191 local integer b_a142 local integer b_b123 local integer b_c133 local integer c_a194 local integer c_b138 local integer c_c143 local integer tuple_temp148 local integer tuple_temp581 local integer tuple_temp108 local integer tuple_temp556 local integer tuple_temp128 local integer tuple_temp200 local integer tuple_temp167 local integer tuple_temp512 local integer tuple_temp259 tuple_temp_148 = 1; tuple_temp_581 = 2; tuple_temp_108 = 3; a_a_290 = tuple_temp_148; a_b_181 = tuple_temp_581; a_c_191 = tuple_temp_108; tuple_temp_556 = 1; tuple_temp_128 = 2; tuple_temp_200 = 3; b_a_142 = tuple_temp_556; b_b_123 = tuple_temp_128; b_c_133 = tuple_temp_200; tuple_temp_167 = 1; tuple_temp_512 = 1; tuple_temp_259 = 3; c_a_194 = tuple_temp_167; c_b_138 = tuple_temp_512; c_c_143 = tuple_temp_259; if ((((a_a_290 != c_a_194) or (a_b_181 != c_b_138)) or (a_c_191 != c_c_143)) and (not (((a_a_290 != b_a_142) or (a_b_181 != b_b_123)) or (a_c_191 != b_c_133)))) { testSuccess202(); } else { }; } IS_NATIVE function testSuccess202() { }