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