Module type MyARG.SIntra

val next : MyCFG.node -> (MyCFG.edge * MyCFG.node) list