generators.BSTGrammar:
  ( { S },
    { F:6, G:3, p:0 },
    { 1, 2},
    2,
    {
      {
        { S -> F[S<1 1>,S<1 1>,S<1 2>,S<1 2>,S<1 1>,S<1 1>] },
        { S -> G[S<1 2>,S<1 1>,S<1 1>] }
      },
      { { S -> p } }
    },
    S<1 1>
  )
