nondeterministic implementation unfinished
nondeterminism implemented, one test fails
Dumb NFA; nondeterministic matching works but malfunctions in cases of partial recursion!