[firedrake] Problems with NonlinearVariationalProblem