[firedrake] Dirichlet boundary issues