nfaConstructor test failure