{
  "kind": "Program",
  "statements": [
    {
      "kind": "If",
      "condition": {
        "kind": "BinaryOp",
        "left": { "kind": "Variable", "name": "x" },
        "op": "==",
        "right": { "kind": "Literal", "value": {"type": "int", "value": 1} }
      },
      "then": [
        { "kind": "Print", "expression": { "kind": "Literal", "value": {"type": "string", "value": "one"} } }
      ],
      "else": [
        {
          "kind": "If",
          "condition": {
            "kind": "BinaryOp",
            "left": { "kind": "Variable", "name": "x" },
            "op": "==",
            "right": { "kind": "Literal", "value": {"type": "int", "value": 2} }
          },
          "then": [
            { "kind": "Print", "expression": { "kind": "Literal", "value": {"type": "string", "value": "two"} } }
          ],
          "else": [
            {
              "kind": "If",
              "condition": {
                "kind": "BinaryOp",
                "left": { "kind": "Variable", "name": "x" },
                "op": "==",
                "right": { "kind": "Literal", "value": {"type": "int", "value": 3} }
              },
              "then": [
                { "kind": "Print", "expression": { "kind": "Literal", "value": {"type": "string", "value": "three"} } }
              ],
              "else": [
                { "kind": "Literal", "value": {"type": "string", "value": "other"} }
              ]
            }
          ]
        }
      ]
    }
  ]
}

