Worked on the verification result caching (extracted functions).