initial test for NFAOperations
more testing. union is borked