public final void invoke(Reduction r, Node n, Node n2) {
if (n==null) {
- if (r.numPop==0) r.reduce(this);
+ if (r.position.pos==0) r.reduce(this);
return;
}
- if (r.numPop==0) return;
+ if (r.position.pos==0) return;
if (n2==null) r.reduce(n);
else r.reduce(n, n2);
}