Make loop invariance hoisting rule even more aggressive.
Fix sequential predicate loops