d.nfaConfigurations.clear(); d.addNFAConfiguration(p,c.alt,c.context,c.semanticContext);
d.nfaConfigurations.clear(); d.addNFAConfiguration(p,c.alt,c.context,c.semanticContext);
d.nfaConfigurations.clear(); d.addNFAConfiguration(p,c.alt,c.context,c.semanticContext);
d.nfaConfigurations.clear(); d.addNFAConfiguration(p,c.alt,c.context,c.semanticContext);