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