Define NodeCoalesce (S, q, q )  The input to the name resolution algorithm is a signature module and its output is a signature module whose typing function, T, is total.
this desideratum is not absolute-it is restricted to cases where the combination formulates a simple union of data.