Reaches fixpoint for inequalities.