SMV #73: remove use of node name (and mapping from name to module) in generation of graph.
SMV #73: remove use of node name in SmvApp and all other related modules.