For dataflow analysis, use the UnitGraph as CFG