integer test_x142 integer test_x142 = 1 function initGlobals872() { } function main664() { initGlobals872(); init_test110(); } function config102() { } function init_test110() { test_x_142 = 1; if ((test_x_142 + sideEffect187(2)) == 3) { testSuccess381(); } else { }; } function sideEffect187(integer r108) returns integer { test_x_142 = 4; return r_108; } IS_NATIVE function testSuccess381() { }