eg in https://github.com/FEniCS/ufl/pull/295 it would be useful if we could ask if the trace of an element on an edge is linear.
eg in #295 it would be useful if we could ask if the trace of an element on an edge is linear.