integer test_z167 integer test_z167 = 0 function initGlobals103() { } function main213() { local boolean andLeft146 initGlobals103(); if (test_z_167 == 1) { test_z_167 = (test_z_167 + 1); andLeft_146 = true; } else { andLeft_146 = false; }; if andLeft_146 { } else { testSuccess156(); }; } function config111() { } IS_NATIVE function testSuccess156() { }