let print_transitionl fmt trl =
  Format.fprintf fmt "@[<2>Transitions:@\n%a@]"
    (Pretty_utils.pp_list ~sep:"@\n" ~suf:"@\n" print_transition) trl