Comment 4 for bug 785143

In an upcoming commit, the element mapping is now constructed automatically by ufl in preprocess in the case of invalid cells. Thus ffc (and sfc) do not need to pass a mapping unless you want to override things like degree and family.

Note that there may still be issues with the above code snippet, but I'll close this bug and report eventual other bugs separately if necessary.