let get_transitions_to_state st (_,tr) =
  List.fold_left
    (fun acc tr ->
      if tr.stop.nums = st.nums then tr::acc else acc)
    [] tr