Add control-flow arcs to RegionDesc