Added a program cache (used by the more advanced verification result caching).