Fixed a bugfix from July: learning equalities from <= and >= info works properly now.