added a few tests for NFAs