Refine caching of FFC kernels