public boolean canMultiplyAsRhs(CoefficientTerm lhs) {
   return lhs.getValue() == 1;
 }
 public Term multiplyAsRhs(CoefficientTerm lhs) {
   Preconditions.checkArgument(lhs.getValue() == 1);
   return this;
 }