let identify_loops g =
    let env, start = G.init g in
    let env, _ = trav_loops_DFS env start 1 in
      env