am 381333db: Fix self-verification with backward branches or invokes.

* commit '381333db555c2fcc12d63116b87ae39d2c0ed910':
  Fix self-verification with backward branches or invokes.