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