Fix >= vs == bug in LinearConstraintTerm.java