[Test] One more test where check is not replaced to invariant

Irrelevant constant check makes things even more difficult, surprisingly.