Extracts raw span/BCB pairs from potentially-different syntax contexts, and
arranges them into an “expansion tree” based on their expansion call-sites.
For a single node in the expansion tree, compute its “minimum” and “maximum”
BCBs (in dominator order), from among the BCBs of its immediate spans,
and the min/max of its immediate children.