Reduction red = new Reduction(p);
state.reductions.put(wf.walk(p.owner()), red);
if (wf.includesEof()) state.eofReductions.add(red, true);
Reduction red = new Reduction(p);
state.reductions.put(wf.walk(p.owner()), red);
if (wf.includesEof()) state.eofReductions.add(red, true);