am 7db86629: Merge "Detect special methods at the end of verification."

* commit '7db86629a227724e61dbe24d3132260072fa04b3':
  Detect special methods at the end of verification.