Valid protocol properties no longer include `number_of_clauses/1`, `number_of_user_clauses/1`, and `calls/2` properties as protocols no longer support `initialization/1` directives that would justify those properties