private void Initialize(IBidirectionalGraph <CFGBlock, TaggedEdge <CFGBlock, EdgeTag> > graph) { foreach (var cfgBlock in graph.Vertices) { _analysis.Initialize(cfgBlock); } }