[firedrake] Error to run a script converted from FEniCS