566567568569570571572573574575576
pass = false; break; } } else if (!pred.boolWithSideEffects()) { pass = false; break; }
751752753754755756757758759760761
break; } } } else if (!pred.boolWithSideEffects()) { result = false; break; }