generators.BSTGrammar: extended translation, no implicit rules
( { A, B, C, MIR, M, O },
  { F:4, G:2, H:3, I:3, J:2, sq:0, -:0 },
  { 1, 2, 3 },
  2,
  {
    table "mir" {
      {
        MIR -> F[A<1 1>, B<1 1>, C<1 1>, MIR<1 1>],
        A -> A<1 1>,
        B -> B<1 1>,
        C -> C<1 1>
      }
    },
    table "start_lake" {
      {
        MIR -> -,
        A -> M<1 1>,
        B -> O<1 2>,
        C -> O<1 3>
      }
    },
    table "build_lake" {
      {
        M -> G[M<1 1>,M<1 2>],
        O -> J[O<1 1>,O<1 2>]
      },
      {
        M -> G[M<1 1>,M<1 2>],
        O -> J[M<1 1>,M<1 2>]
      },
      {
        M -> H[M<1 1>,O<1 2>,O<1 3>],
        O -> J[O<1 1>,O<1 2>]
      },
      {
        M -> H[M<1 1>,O<1 2>,O<1 3>],
        O -> J[M<1 1>,M<1 2>]
      },
      {
        M -> I[O<1 1>,O<1 2>,M<1 3>],
        O -> J[O<1 1>,O<1 2>]
      },
      {
        M -> I[O<1 1>,O<1 2>,M<1 3>],
        O -> J[M<1 1>,M<1 2>]
      }
    },
    table "terminate" {
      {
        M -> sq,
        O -> sq
      }
    }
  },
  MIR<1 1>,
%  "mir"* "start_lake" "build_lake"* "terminate"
  "mir" "mir" "mir" "mir" "mir" "mir" "mir"
  "start_lake" "build_lake" "build_lake"
  "build_lake" "build_lake" "build_lake"
  "build_lake" "build_lake"* "terminate"
)
