* TREE

$ENTRY Go {
  e.X
    = <S { = e.X } 'abc'> : s.Closure
    = <<<<s.Closure>>>> : e.X
    = /* empty */;
}

$SPEC S s.CLOSURE e.items;

S {
  s.Closure s._ e.Y = <S { = s.Closure } e.Y>;
  s.Closure /* empty */ = s.Closure;
}
