{
  "kind": "Program",
  "statements": [
    {
      "kind": "If",
      "condition": {
        "kind": "BinaryOp",
        "left": { "kind": "Variable", "name": "x" },
        "op": "==",
        "right": { "kind": "Literal", "value": {"type": "int", "value": 1} }
      },
      "then": [
        {
          "kind": "Assignment",
          "target": { "kind": "Variable", "name": "y" },
          "value": { "kind": "Literal", "value": {"type": "string", "value": "one"} }
        }
      ],
      "else": [
        {
          "kind": "Literal",
          "value": {"type": "string", "value": "other"}
        }
      ]
    }
  ]
}

