     CSPMulTermUid cspmulterm(Location const &loc, TermUid coe) override;     CSPAddTermUid cspaddterm(Location const &loc, CSPAddTermUid a, CSPMulTermUid b, bool add) override;     CSPAddTermUid cspaddterm(Location const &loc, CSPMulTermUid a) 