real vec_plus_return_x646 real vec_plus_return_y100 integer wurst_stack_depth124 = 0 function initGlobals140() { } function main799() { local real tuple_temp373 initGlobals140(); vec_plus155(1., 2., 3., 4., 5., 6.); tuple_temp_373 = vec_plus_return_y_100; if (tuple_temp_373 == 7.) { testSuccess137(); } else { }; } function config206() { } function vec_plus155(real this_x140, real this_y176, real this_z112, real other_x164, real other_y172, real other_z116) returns real { if (this_x_140 > 0.) { vec_plus_return_x_646 = (this_x_140 + other_x_164); vec_plus_return_y_100 = (this_y_176 + other_y_172); return vec_plus_return_x_646; } else { vec_plus_return_x_646 = (this_x_140 + other_x_164); vec_plus_return_y_100 = (this_y_176 + other_y_172); return vec_plus_return_x_646; }; } IS_NATIVE function testSuccess137() { }