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

whitespace