Ineq: fix tests that fail due to ineq not simplifying [3/n] (squash2)

oops