1  {
  2    "Conditional": {
  3      "condition": {
  4        "Path": {
  5          "qualifier": [],
  6          "identifier": {
  7            "name": "x",
  8            "span": {
  9              "lo": 3,
 10              "hi": 4
 11            },
 12            "id": 2
 13          },
 14          "is_absolute": false,
 15          "absolute_path": null,
 16          "span": {
 17            "lo": 3,
 18            "hi": 4
 19          },
 20          "id": 1
 21        }
 22      },
 23      "then": {
 24        "statements": [
 25          {
 26            "Return": {
 27              "expression": {
 28                "Literal": {
 29                  "span": {
 30                    "lo": 18,
 31                    "hi": 21
 32                  },
 33                  "id": 4,
 34                  "variant": {
 35                    "Integer": [
 36                      "U8",
 37                      "0"
 38                    ]
 39                  }
 40                }
 41              },
 42              "span": {
 43                "lo": 11,
 44                "hi": 22
 45              },
 46              "id": 3
 47            }
 48          }
 49        ],
 50        "span": {
 51          "lo": 5,
 52          "hi": 24
 53        },
 54        "id": 5
 55      },
 56      "otherwise": null,
 57      "span": {
 58        "lo": 0,
 59        "hi": 24
 60      },
 61      "id": 0
 62    }
 63  }
 64  
 65  {
 66    "Conditional": {
 67      "condition": {
 68        "Path": {
 69          "qualifier": [],
 70          "identifier": {
 71            "name": "x",
 72            "span": {
 73              "lo": 29,
 74              "hi": 30
 75            },
 76            "id": 3
 77          },
 78          "is_absolute": false,
 79          "absolute_path": null,
 80          "span": {
 81            "lo": 29,
 82            "hi": 30
 83          },
 84          "id": 2
 85        }
 86      },
 87      "then": {
 88        "statements": [
 89          {
 90            "Return": {
 91              "expression": {
 92                "Literal": {
 93                  "span": {
 94                    "lo": 45,
 95                    "hi": 48
 96                  },
 97                  "id": 5,
 98                  "variant": {
 99                    "Integer": [
100                      "U8",
101                      "0"
102                    ]
103                  }
104                }
105              },
106              "span": {
107                "lo": 38,
108                "hi": 49
109              },
110              "id": 4
111            }
112          }
113        ],
114        "span": {
115          "lo": 32,
116          "hi": 51
117        },
118        "id": 6
119      },
120      "otherwise": null,
121      "span": {
122        "lo": 25,
123        "hi": 51
124      },
125      "id": 0
126    }
127  }
128  
129  {
130    "Conditional": {
131      "condition": {
132        "Path": {
133          "qualifier": [],
134          "identifier": {
135            "name": "x",
136            "span": {
137              "lo": 56,
138              "hi": 57
139            },
140            "id": 3
141          },
142          "is_absolute": false,
143          "absolute_path": null,
144          "span": {
145            "lo": 56,
146            "hi": 57
147          },
148          "id": 2
149        }
150      },
151      "then": {
152        "statements": [],
153        "span": {
154          "lo": 59,
155          "hi": 61
156        },
157        "id": 4
158      },
159      "otherwise": {
160        "Block": {
161          "statements": [],
162          "span": {
163            "lo": 67,
164            "hi": 69
165          },
166          "id": 6
167        }
168      },
169      "span": {
170        "lo": 52,
171        "hi": 69
172      },
173      "id": 0
174    }
175  }
176  
177  {
178    "Conditional": {
179      "condition": {
180        "Binary": {
181          "left": {
182            "Path": {
183              "qualifier": [],
184              "identifier": {
185                "name": "x",
186                "span": {
187                  "lo": 73,
188                  "hi": 74
189                },
190                "id": 3
191              },
192              "is_absolute": false,
193              "absolute_path": null,
194              "span": {
195                "lo": 73,
196                "hi": 74
197              },
198              "id": 2
199            }
200          },
201          "right": {
202            "Path": {
203              "qualifier": [],
204              "identifier": {
205                "name": "y",
206                "span": {
207                  "lo": 75,
208                  "hi": 76
209                },
210                "id": 5
211              },
212              "is_absolute": false,
213              "absolute_path": null,
214              "span": {
215                "lo": 75,
216                "hi": 76
217              },
218              "id": 4
219            }
220          },
221          "op": "Add",
222          "span": {
223            "lo": 73,
224            "hi": 76
225          },
226          "id": 1
227        }
228      },
229      "then": {
230        "statements": [],
231        "span": {
232          "lo": 77,
233          "hi": 79
234        },
235        "id": 6
236      },
237      "otherwise": {
238        "Conditional": {
239          "condition": {
240            "Binary": {
241              "left": {
242                "Path": {
243                  "qualifier": [],
244                  "identifier": {
245                    "name": "x",
246                    "span": {
247                      "lo": 88,
248                      "hi": 89
249                    },
250                    "id": 10
251                  },
252                  "is_absolute": false,
253                  "absolute_path": null,
254                  "span": {
255                    "lo": 88,
256                    "hi": 89
257                  },
258                  "id": 9
259                }
260              },
261              "right": {
262                "Path": {
263                  "qualifier": [],
264                  "identifier": {
265                    "name": "z",
266                    "span": {
267                      "lo": 90,
268                      "hi": 91
269                    },
270                    "id": 12
271                  },
272                  "is_absolute": false,
273                  "absolute_path": null,
274                  "span": {
275                    "lo": 90,
276                    "hi": 91
277                  },
278                  "id": 11
279                }
280              },
281              "op": "Add",
282              "span": {
283                "lo": 88,
284                "hi": 91
285              },
286              "id": 8
287            }
288          },
289          "then": {
290            "statements": [],
291            "span": {
292              "lo": 92,
293              "hi": 94
294            },
295            "id": 13
296          },
297          "otherwise": {
298            "Block": {
299              "statements": [],
300              "span": {
301                "lo": 100,
302                "hi": 102
303              },
304              "id": 15
305            }
306          },
307          "span": {
308            "lo": 85,
309            "hi": 102
310          },
311          "id": 7
312        }
313      },
314      "span": {
315        "lo": 70,
316        "hi": 102
317      },
318      "id": 0
319    }
320  }
321  
322  {
323    "Conditional": {
324      "condition": {
325        "Binary": {
326          "left": {
327            "Path": {
328              "qualifier": [],
329              "identifier": {
330                "name": "x",
331                "span": {
332                  "lo": 106,
333                  "hi": 107
334                },
335                "id": 3
336              },
337              "is_absolute": false,
338              "absolute_path": null,
339              "span": {
340                "lo": 106,
341                "hi": 107
342              },
343              "id": 2
344            }
345          },
346          "right": {
347            "Path": {
348              "qualifier": [],
349              "identifier": {
350                "name": "y",
351                "span": {
352                  "lo": 108,
353                  "hi": 109
354                },
355                "id": 5
356              },
357              "is_absolute": false,
358              "absolute_path": null,
359              "span": {
360                "lo": 108,
361                "hi": 109
362              },
363              "id": 4
364            }
365          },
366          "op": "Add",
367          "span": {
368            "lo": 106,
369            "hi": 109
370          },
371          "id": 1
372        }
373      },
374      "then": {
375        "statements": [
376          {
377            "Return": {
378              "expression": {
379                "Literal": {
380                  "span": {
381                    "lo": 123,
382                    "hi": 126
383                  },
384                  "id": 7,
385                  "variant": {
386                    "Integer": [
387                      "U8",
388                      "0"
389                    ]
390                  }
391                }
392              },
393              "span": {
394                "lo": 116,
395                "hi": 127
396              },
397              "id": 6
398            }
399          }
400        ],
401        "span": {
402          "lo": 110,
403          "hi": 129
404        },
405        "id": 8
406      },
407      "otherwise": null,
408      "span": {
409        "lo": 103,
410        "hi": 129
411      },
412      "id": 0
413    }
414  }
415