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

still horrid, but somewhat future proof matrix tests