Re: [firedrake] assembly_cache error