During parameter and return value validation we keep track of the number of constraint violations, but that's not needed really.