Fix verifier crash (Issue #553)
Merge pull request #560 from artcompiler/verifier

Fix verifier crash (Issue #553)