This is the main fix for Assertion Predicates which makes sure that we clone and update Template Assertion Predicates when splitting a loop and then create Initialized Assertion Predicates from it.

However, there are two issues remaining to be fixed separately:
- JDK-8350578: When Parse Predicates are removed (because we no longer use them), we also remove Template Assertion Predicates which is wrong. We still need to establish them even though Parse Predicates have been removed.
- JDK-8350579: Remove Template Assertion Predicates for a loop once it is folded away to avoid that they end up at a different loop for which we then create wrong Initialized Assertion Predicates from.