am b08e3a87: am deb43702: Fix handling of unresolved references in verifier.

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