If enriched vertex mappers are used (multiple dofs at vertex), the
initial function requires the mapper to provide index maps of the form
mapper.index(entity). However, direct mapping from vertices to dofs is
not possible because it is not unique. This implementation works for
both cases.