Readonly
the ast the vertices refer to; only the id map is used, so cfgVisitorConfig can take it from the dataflow graph
the ast the vertices refer to; only the id map is used, so cfgVisitorConfig can take it from the dataflow graph