public NumeratedGraph(TACode code, IGraphNumerator numerator) : base(code) { Numerator = numerator; }
public ReverseNum(ControlFlowGraph graph, IGraphNumerator num) { _graph = graph; _num = num; }