debugging cached verifications