Finished unit tests for NFAOperations