For a given CFG with the entry node cfgEntry and an expansion function expand, return a map that associates each node with an index such that nodes are numbered in post order.
For a given CFG with the entry node cfgEntry and an expansion function expand, return a map that associates each node with an index such that nodes are numbered in post order.