[firedrake] NonlinearVariationalSolver problem