A case for testing the implementation of Dirichlet BCs for div-conforming (face)
finite elements in 2D
