 void heuristic(Location const &loc, TermUid termUid, BdLitVecUid body, TermUid a, TermUid b, TermUid mod) = 0;     virtual void project(Location const &loc, TermUid termUid, BdLitVecUid body) = 0;     virtual void project(Location const &loc, 