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