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