function initGlobals109() { } function main130() { initGlobals109(); init_test193(); } function config116() { } function init_test193() { local real r692 local real cond_result439 if (1 < 3) { cond_result_439 = 123.; } else { cond_result_439 = 456.; }; r_692 = cond_result_439; if (r_692 == 123.0) { testSuccess458(); } else { }; } IS_NATIVE function testSuccess458() { }