let
simple_intersect (m1 : nfa)
(m2 : nfa) : nfa =
let
_,m = intersect m1 m2 (create 0)
in
m