function initGlobals265() { } function main495() { initGlobals265(); init_test120(); } function config107() { } function init_test120() { local real r119 local real cond_result659 if (1 < 3) { cond_result_659 = 123.; } else { cond_result_659 = 456.; }; r_119 = cond_result_659; if (r_119 == 123.0) { testSuccess706(); } else { }; } IS_NATIVE function testSuccess706() { }