A tree-composition lemma

For covectors compared in the fixed Minkowski trivialization, put

A balanced line is a bidistribution with wavefront contained in $(x,p;y,-p)$. Derivatives of translation-invariant Green kernels and of $\delta (x-y)$ are examples.