[firedrake] Problem with NonlinearVariationalProblem