nfaConstructor completed; test passed.