am deb43702: Fix handling of unresolved references in verifier.

* commit 'deb43702e611d6c75b459ea352a00f5d98fc0aa9':
  Fix handling of unresolved references in verifier.