[firedrake] Dirichlet BC on extruded mesh with discontinuous function space