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