Added parameter to enable valid y inequalities