let single_path (states,transitions as auto) tr =
Aorai_option.Deterministic.get () ||
(let init = Path_analysis.get_init_states auto in
match init with
| [ st ] ->
let auto = (states,
List.filter (fun x -> x.numt <> tr.numt) transitions)
in
Path_analysis.at_most_one_path auto st tr.start
| _ -> false)