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