Ineq: fix tests that fail due to ineq not simplifying [5/n] [SQUASH]

squash with 4 and some previous one