Made enumerate print the equality constraints for determined variables when --clean is specified, as well as the remaining inequalities.