public override object VisitCFGStartBlock(StartBlock x) { return(x.Update( VisitList(x.Statements), AcceptEdge(x, x.NextEdge))); }