generators.BSTGrammar:
  ( { tri1, tri2 },
    { F:8, G:4, p1:0, p2:0 },
    { 1, 2 },
    1,
    {
      {
        tri1 -> G[tri1<1>,tri1<2>,tri2<2>,tri1<2>],
        tri2 -> G[tri2<2>,tri2<1>,tri1<1>,tri2<1>]
      },
      {
        tri1 -> p1,
        tri2 -> p2
      }
    },
    F[tri1<1>,tri1<1>,tri1<1>,tri1<1>,tri1<1>,tri1<1>,tri1<1>,tri1<1>] )
