the if-test AND_Or_and yields strange code with a goto but it seems computationally correct; testing all 16 combinations of both code forms and same results were obtained. further experimentation is necessary to determine if this should be normal behavior or not. it could be beneficial for comprehending long compound conditions. in this case the one condition is split into end:{if(_0||_1){if(_2)break end;}if(_3){true;}} which contains a goto. this kind of thing happens commonly with obfuscated code so it would be interesting to see what benefits/deficiencies there are for comprehending obfuscated code. also if-test and_and_and yields normal results and passes test case.