somehow the solver is producing correct answers without storing disequalities
still something not in superTerm map that should be