let simple_concat (m1 : nfa)
                  (m2 : nfa) : nfa =
  let _,_,m = concat m1 m2 (create 0) (create 0) in m