Fix iota tracking: ranges are closed.
Improve predicate extraction.
Disable simplifyBoolBranch rule.
Fixes to predicate extraction.
Fix removeUnusedLoopResult rule.
Fix removeUnusedLoopResult some more.