nfaConstructor preprocess replace