Re: [firedrake] issue: kernel body contains a double indirection