Module type MyARG.SIntra

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

    Also the original CFG paths corresponding to the step.