- return reduce(onlychild, pos-1, rex, parent.phase());
- }
-
- private Forest zero = null;
- public Forest zero() {
- if (zero != null) return zero;
- if (numPop > 0) throw new Error();
- return zero = position.rewrite(null);
+ return reduce(onlychild, pos-1, null, parent.phase());