let
stronglist graph q =
G
.fold_succ (
fun
p acc
->
p :: acc ) graph q []