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