Fix issue in verification result caching for assertions without subsumption.