real vec_plus_return_x628 real vec_plus_return_y504 function initGlobals154() { } function main116() { initGlobals154(); init_test189(); } function config700() { } function init_test189() { local real tuple_temp279 vec_plus156(1., 2., 3., 4., 5., 6.); tuple_temp_279 = vec_plus_return_y_504; if (tuple_temp_279 == 7.) { testSuccess177(); } else { }; } function vec_plus156(real this_x247, real this_y816, real this_z546, real other_x186, real other_y792, real other_z110) returns real { if (this_x_247 > 0.) { vec_plus_return_x_628 = (this_x_247 + other_x_186); vec_plus_return_y_504 = (this_y_816 + other_y_792); return vec_plus_return_x_628; } else { vec_plus_return_x_628 = (this_x_247 + other_x_186); vec_plus_return_y_504 = (this_y_816 + other_y_792); return vec_plus_return_x_628; }; } IS_NATIVE function testSuccess177() { }