getEqualityStatus now also queries the inequality solver