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