let nfa_eq (a : nfa) (b : nfa) : bool = 
  let abar = nfa_to_dfa a in
  let _ = complement abar in
  let bbar = nfa_to_dfa b in
  let _ = complement bbar in
  let cap = simple_intersect in
  let cup = union in
  let big = cup (cap a bbar) (cap abar b) in
    is_empty big