[Test] Add some corner cases negative tests for D143726

- No common loop-variant;
- One comparison against loop-variant;