IDEA-111456 An inspection to check method contract well-formedness