let print_trans fmt trans = Format.fprintf fmt "@[<2>%s:@ %a@]" (trans_label trans.numt) print_full_transition trans.cross