Implement the DAGify pass. This pass, using the results exposed by the `GenericRegionInfo` analysis, transforms all the retreating edges of each identified `GenericRegion`, processed in a bottom-up fashion, into a `goto` edge on the `ScopeGraph`.