let find_otherwise_trans auto st = let trans = Path_analysis.get_transitions_of_state st auto in try let tr = List.find (fun x -> x.cross = Otherwise) trans in Some tr.stop with Not_found -> None