internal/v4: make verifyConstraints more obvious