replaced assert() with assertTrue() in NFAOperationsTest