if (conf.has_contributed || conf.isDotAfterLastSymbol())
continue;
conf_set_factory.reset();
GrammarSymbol marked_symbol = conf.getSymbolAfterDot();
// For every configuration in the "from" state which also has the "marked_symbol"
// after the "dot" add the same configuration to the core set under construction
// but with the mark ("dot") shifted one symbol to the right.
for (Configuration nconf = conf; nconf != null; nconf = nconf.next)