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