@dorugeber: that would be a more significant departure from the FEniCS API. I don't think we have good enough reasons to do that in this case.