Added a validation that constraints have an upper bound