[Test] Add some simple tests where IndVars cannot remove a check in loop

Previously I've added tests that require context for inference, but it
seems tha SCEV can't prove same facts even when the context isn't required.