Update the User Manual with a note on the limitations of the `number_of_clauses/1` and `number_of_user_clauses/1` properties