let add_all_trans (nfa : nfa)
(s1 : state)
(s2 : state) : unit =
add_state nfa s1;
add_state nfa s2;
let new_set = Charset.create_full () in
let curmap = all_delta nfa.delta s1 in
Hashtbl.replace curmap s2 new_set