[Test] Update inverse test for turn-to-invariant to what they meant to be

They were supposed to test inverted branches with OR condition, not AND.
Fixed this now.