prove the MethodDeclaration should be considered