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