- // DO NOT MESS WITH THE FOLLOWING LINE!!!
- private Forest.Many epsilonForm = null;
- Forest epsilonForm(Input.Region loc) {
- if (epsilonForm!=null) return epsilonForm;
- epsilonForm = new Forest.Many();
- epsilonForm.merge(firstp().rewrite(loc, false));
- return epsilonForm;
- }