[firedrake] issue: kernel body contains a double indirection