nfaConstructor completed, waiting for testing.