let get_trans ?(attributes=TagSet.empty) auto states tag =
StateSet.fold (fun q acc ->
List.fold_left (fun ((tr_acc, l_acc, r_acc) as acc) (ts, tr) ->
let get_trans ?(attributes=TagSet.empty) auto states tag =
StateSet.fold (fun q acc ->
List.fold_left (fun ((tr_acc, l_acc, r_acc) as acc) (ts, tr) ->