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