[Test] Add tests where we can replace IV check with invariant check basing on...

[Test] Add tests where we can replace IV check with invariant check basing on predicated backedge cond