eritanceEdge (in SMEPH terms). However, there is one important case in which Atom-to-map conversion must occur explicitly: the expansion of compound ProoedureNodes into procedure maps. This must occur explicitly because the process graphs inside ProcedureN- odes have no dynamics going on except evaluation; ther