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