The current Template Assertion Predicate elimination code could be refactored to use the new Predicate Visitors/Iterator. Moreover, there is a bug: When removing Parse Predicates, we are also removing Template Assertion Predicates. But we could apply more loop optimizations afterwards which include loop splitting. In this case, we also need to establish Assertion Predicates which we fail to do because we've already (wrongly) removed them.

We should keep the Template Assertion Predicates until loop opts are over. The refactoring should also automatically fix this bug.