Ineq: fix tests that fail due to ineq not simplifying [1/n]
Ineq: fix tests that fail due to ineq not simplifying [2/n]

This is not very nice, probably want a better fix.