nfaConstructor stack : bug exists!!!