Loop breaking
Fix boolean lowering