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