let print_transition fmt tr =
  Format.fprintf fmt "@[<2>{@ %d:@ %s@ {%a}@ %s@]}"
    tr.numt tr.start.name print_full_transition tr.cross tr.stop.name