Shouldn't this validation be part of constraint-parsing in the first place?