more work on collapsing cfg, plus generating Analysis Nodes.