generators.ET0LTreeGrammar:
( { S, A },
  { subst:2, proj-1:0, c:1, h:2, a:0 },
  {
    {
      S -> subst[A,subst[S,h[subst[A,a],proj-1]]],
      A -> proj-1
    },
    {
      A -> c[A]
    },
    {
      S -> proj-1,
      A -> proj-1
    }
  },
  subst[A,subst[S,subst[A,a]]]
)
