generators.BSTGrammar: extended translation
  (
    { line },
    { tri:3, F:4, H:6, line:0 },
    { 1, 2, 3 },
    1,
    {
      { line -> F[line<1>,line<2>,line<2>,line<1>] },
      { line -> H[line<1>,line<2>,line<2>,line<1>,
                  line<3>,line<3>] }
    },
    tri[line<1>,line<1>,line<1>]
  )
