clean up disequality reification, test for reification of disequality
constraints even if constraints vars don't appear in the answer term.