xref: /arkcompiler/ets_frontend/ets2panda/test/parser/ets/ControlFlowRecursive-expected.txt

{
  "type": "Program",
  "statements": [
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "ControlFlowRecursive",
          "decorators": [],
          "loc": {
            "start": {
              "line": 16,
              "column": 14
            },
            "end": {
              "line": 16,
              "column": 34
            }
          }
        },
        "superClass": null,
        "implements": [],
        "body": [
          {
            "type": "ClassProperty",
            "key": {
              "type": "Identifier",
              "name": "n1",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 17,
                  "column": 19
                },
                "end": {
                  "line": 17,
                  "column": 21
                }
              }
            },
            "value": {
              "type": "NumberLiteral",
              "value": 3,
              "loc": {
                "start": {
                  "line": 17,
                  "column": 29
                },
                "end": {
                  "line": 17,
                  "column": 30
                }
              }
            },
            "accessibility": "public",
            "static": true,
            "readonly": false,
            "declare": false,
            "optional": false,
            "computed": false,
            "typeAnnotation": {
              "type": "ETSPrimitiveType",
              "loc": {
                "start": {
                  "line": 17,
                  "column": 23
                },
                "end": {
                  "line": 17,
                  "column": 26
                }
              }
            },
            "definite": false,
            "decorators": [],
            "loc": {
              "start": {
                "line": 17,
                "column": 19
              },
              "end": {
                "line": 17,
                "column": 30
              }
            }
          },
          {
            "type": "ClassProperty",
            "key": {
              "type": "Identifier",
              "name": "n2",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 18,
                  "column": 19
                },
                "end": {
                  "line": 18,
                  "column": 21
                }
              }
            },
            "value": {
              "type": "NumberLiteral",
              "value": 5,
              "loc": {
                "start": {
                  "line": 18,
                  "column": 29
                },
                "end": {
                  "line": 18,
                  "column": 30
                }
              }
            },
            "accessibility": "public",
            "static": true,
            "readonly": false,
            "declare": false,
            "optional": false,
            "computed": false,
            "typeAnnotation": {
              "type": "ETSPrimitiveType",
              "loc": {
                "start": {
                  "line": 18,
                  "column": 23
                },
                "end": {
                  "line": 18,
                  "column": 26
                }
              }
            },
            "definite": false,
            "decorators": [],
            "loc": {
              "start": {
                "line": 18,
                "column": 19
              },
              "end": {
                "line": 18,
                "column": 30
              }
            }
          },
          {
            "type": "ClassProperty",
            "key": {
              "type": "Identifier",
              "name": "expected",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 19,
                  "column": 19
                },
                "end": {
                  "line": 19,
                  "column": 27
                }
              }
            },
            "value": {
              "type": "NumberLiteral",
              "value": 57775,
              "loc": {
                "start": {
                  "line": 19,
                  "column": 35
                },
                "end": {
                  "line": 19,
                  "column": 40
                }
              }
            },
            "accessibility": "public",
            "static": true,
            "readonly": false,
            "declare": false,
            "optional": false,
            "computed": false,
            "typeAnnotation": {
              "type": "ETSPrimitiveType",
              "loc": {
                "start": {
                  "line": 19,
                  "column": 29
                },
                "end": {
                  "line": 19,
                  "column": 32
                }
              }
            },
            "definite": false,
            "decorators": [],
            "loc": {
              "start": {
                "line": 19,
                "column": 19
              },
              "end": {
                "line": 19,
                "column": 40
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "ack",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 21,
                  "column": 18
                },
                "end": {
                  "line": 21,
                  "column": 21
                }
              }
            },
            "kind": "method",
            "accessibility": "private",
            "static": true,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "ack",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 18
                    },
                    "end": {
                      "line": 21,
                      "column": 21
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "m",
                      "typeAnnotation": {
                        "type": "ETSPrimitiveType",
                        "loc": {
                          "start": {
                            "line": 21,
                            "column": 25
                          },
                          "end": {
                            "line": 21,
                            "column": 28
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 22
                        },
                        "end": {
                          "line": 21,
                          "column": 28
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 22
                      },
                      "end": {
                        "line": 21,
                        "column": 28
                      }
                    }
                  },
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "n",
                      "typeAnnotation": {
                        "type": "ETSPrimitiveType",
                        "loc": {
                          "start": {
                            "line": 21,
                            "column": 33
                          },
                          "end": {
                            "line": 21,
                            "column": 36
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 30
                        },
                        "end": {
                          "line": 21,
                          "column": 36
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 30
                      },
                      "end": {
                        "line": 21,
                        "column": 36
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "ETSPrimitiveType",
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 39
                    },
                    "end": {
                      "line": 21,
                      "column": 42
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [
                    {
                      "type": "IfStatement",
                      "test": {
                        "type": "BinaryExpression",
                        "operator": "==",
                        "left": {
                          "type": "Identifier",
                          "name": "m",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 22,
                              "column": 9
                            },
                            "end": {
                              "line": 22,
                              "column": 10
                            }
                          }
                        },
                        "right": {
                          "type": "NumberLiteral",
                          "value": 0,
                          "loc": {
                            "start": {
                              "line": 22,
                              "column": 14
                            },
                            "end": {
                              "line": 22,
                              "column": 15
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 22,
                            "column": 9
                          },
                          "end": {
                            "line": 22,
                            "column": 15
                          }
                        }
                      },
                      "consequent": {
                        "type": "BlockStatement",
                        "statements": [
                          {
                            "type": "ReturnStatement",
                            "argument": {
                              "type": "BinaryExpression",
                              "operator": "+",
                              "left": {
                                "type": "Identifier",
                                "name": "n",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 23,
                                    "column": 14
                                  },
                                  "end": {
                                    "line": 23,
                                    "column": 15
                                  }
                                }
                              },
                              "right": {
                                "type": "NumberLiteral",
                                "value": 1,
                                "loc": {
                                  "start": {
                                    "line": 23,
                                    "column": 18
                                  },
                                  "end": {
                                    "line": 23,
                                    "column": 19
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 23,
                                  "column": 14
                                },
                                "end": {
                                  "line": 23,
                                  "column": 19
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 23,
                                "column": 7
                              },
                              "end": {
                                "line": 23,
                                "column": 20
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 22,
                            "column": 17
                          },
                          "end": {
                            "line": 24,
                            "column": 6
                          }
                        }
                      },
                      "alternate": null,
                      "loc": {
                        "start": {
                          "line": 22,
                          "column": 5
                        },
                        "end": {
                          "line": 24,
                          "column": 6
                        }
                      }
                    },
                    {
                      "type": "IfStatement",
                      "test": {
                        "type": "BinaryExpression",
                        "operator": "==",
                        "left": {
                          "type": "Identifier",
                          "name": "n",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 25,
                              "column": 9
                            },
                            "end": {
                              "line": 25,
                              "column": 10
                            }
                          }
                        },
                        "right": {
                          "type": "NumberLiteral",
                          "value": 0,
                          "loc": {
                            "start": {
                              "line": 25,
                              "column": 14
                            },
                            "end": {
                              "line": 25,
                              "column": 15
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 25,
                            "column": 9
                          },
                          "end": {
                            "line": 25,
                            "column": 15
                          }
                        }
                      },
                      "consequent": {
                        "type": "BlockStatement",
                        "statements": [
                          {
                            "type": "ReturnStatement",
                            "argument": {
                              "type": "CallExpression",
                              "callee": {
                                "type": "MemberExpression",
                                "object": {
                                  "type": "Identifier",
                                  "name": "ControlFlowRecursive",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 26,
                                      "column": 14
                                    },
                                    "end": {
                                      "line": 26,
                                      "column": 34
                                    }
                                  }
                                },
                                "property": {
                                  "type": "Identifier",
                                  "name": "ack",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 26,
                                      "column": 35
                                    },
                                    "end": {
                                      "line": 26,
                                      "column": 38
                                    }
                                  }
                                },
                                "computed": false,
                                "optional": false,
                                "loc": {
                                  "start": {
                                    "line": 26,
                                    "column": 14
                                  },
                                  "end": {
                                    "line": 26,
                                    "column": 38
                                  }
                                }
                              },
                              "arguments": [
                                {
                                  "type": "BinaryExpression",
                                  "operator": "-",
                                  "left": {
                                    "type": "Identifier",
                                    "name": "m",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 26,
                                        "column": 39
                                      },
                                      "end": {
                                        "line": 26,
                                        "column": 40
                                      }
                                    }
                                  },
                                  "right": {
                                    "type": "NumberLiteral",
                                    "value": 1,
                                    "loc": {
                                      "start": {
                                        "line": 26,
                                        "column": 43
                                      },
                                      "end": {
                                        "line": 26,
                                        "column": 44
                                      }
                                    }
                                  },
                                  "loc": {
                                    "start": {
                                      "line": 26,
                                      "column": 39
                                    },
                                    "end": {
                                      "line": 26,
                                      "column": 44
                                    }
                                  }
                                },
                                {
                                  "type": "NumberLiteral",
                                  "value": 1,
                                  "loc": {
                                    "start": {
                                      "line": 26,
                                      "column": 46
                                    },
                                    "end": {
                                      "line": 26,
                                      "column": 47
                                    }
                                  }
                                }
                              ],
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 26,
                                  "column": 14
                                },
                                "end": {
                                  "line": 26,
                                  "column": 48
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 26,
                                "column": 7
                              },
                              "end": {
                                "line": 26,
                                "column": 49
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 25,
                            "column": 17
                          },
                          "end": {
                            "line": 27,
                            "column": 6
                          }
                        }
                      },
                      "alternate": null,
                      "loc": {
                        "start": {
                          "line": 25,
                          "column": 5
                        },
                        "end": {
                          "line": 27,
                          "column": 6
                        }
                      }
                    },
                    {
                      "type": "ReturnStatement",
                      "argument": {
                        "type": "CallExpression",
                        "callee": {
                          "type": "MemberExpression",
                          "object": {
                            "type": "Identifier",
                            "name": "ControlFlowRecursive",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 28,
                                "column": 12
                              },
                              "end": {
                                "line": 28,
                                "column": 32
                              }
                            }
                          },
                          "property": {
                            "type": "Identifier",
                            "name": "ack",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 28,
                                "column": 33
                              },
                              "end": {
                                "line": 28,
                                "column": 36
                              }
                            }
                          },
                          "computed": false,
                          "optional": false,
                          "loc": {
                            "start": {
                              "line": 28,
                              "column": 12
                            },
                            "end": {
                              "line": 28,
                              "column": 36
                            }
                          }
                        },
                        "arguments": [
                          {
                            "type": "BinaryExpression",
                            "operator": "-",
                            "left": {
                              "type": "Identifier",
                              "name": "m",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 28,
                                  "column": 37
                                },
                                "end": {
                                  "line": 28,
                                  "column": 38
                                }
                              }
                            },
                            "right": {
                              "type": "NumberLiteral",
                              "value": 1,
                              "loc": {
                                "start": {
                                  "line": 28,
                                  "column": 41
                                },
                                "end": {
                                  "line": 28,
                                  "column": 42
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 28,
                                "column": 37
                              },
                              "end": {
                                "line": 28,
                                "column": 42
                              }
                            }
                          },
                          {
                            "type": "CallExpression",
                            "callee": {
                              "type": "MemberExpression",
                              "object": {
                                "type": "Identifier",
                                "name": "ControlFlowRecursive",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 28,
                                    "column": 44
                                  },
                                  "end": {
                                    "line": 28,
                                    "column": 64
                                  }
                                }
                              },
                              "property": {
                                "type": "Identifier",
                                "name": "ack",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 28,
                                    "column": 65
                                  },
                                  "end": {
                                    "line": 28,
                                    "column": 68
                                  }
                                }
                              },
                              "computed": false,
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 28,
                                  "column": 44
                                },
                                "end": {
                                  "line": 28,
                                  "column": 68
                                }
                              }
                            },
                            "arguments": [
                              {
                                "type": "Identifier",
                                "name": "m",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 28,
                                    "column": 69
                                  },
                                  "end": {
                                    "line": 28,
                                    "column": 70
                                  }
                                }
                              },
                              {
                                "type": "BinaryExpression",
                                "operator": "-",
                                "left": {
                                  "type": "Identifier",
                                  "name": "n",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 28,
                                      "column": 72
                                    },
                                    "end": {
                                      "line": 28,
                                      "column": 73
                                    }
                                  }
                                },
                                "right": {
                                  "type": "NumberLiteral",
                                  "value": 1,
                                  "loc": {
                                    "start": {
                                      "line": 28,
                                      "column": 76
                                    },
                                    "end": {
                                      "line": 28,
                                      "column": 77
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 28,
                                    "column": 72
                                  },
                                  "end": {
                                    "line": 28,
                                    "column": 77
                                  }
                                }
                              }
                            ],
                            "optional": false,
                            "loc": {
                              "start": {
                                "line": 28,
                                "column": 44
                              },
                              "end": {
                                "line": 28,
                                "column": 78
                              }
                            }
                          }
                        ],
                        "optional": false,
                        "loc": {
                          "start": {
                            "line": 28,
                            "column": 12
                          },
                          "end": {
                            "line": 28,
                            "column": 79
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 28,
                          "column": 5
                        },
                        "end": {
                          "line": 28,
                          "column": 80
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 43
                    },
                    "end": {
                      "line": 29,
                      "column": 4
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 21
                  },
                  "end": {
                    "line": 29,
                    "column": 4
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 21,
                  "column": 21
                },
                "end": {
                  "line": 29,
                  "column": 4
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 21,
                "column": 3
              },
              "end": {
                "line": 29,
                "column": 4
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "fib",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 31,
                  "column": 18
                },
                "end": {
                  "line": 31,
                  "column": 21
                }
              }
            },
            "kind": "method",
            "accessibility": "private",
            "static": true,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "fib",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 31,
                      "column": 18
                    },
                    "end": {
                      "line": 31,
                      "column": 21
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "n",
                      "typeAnnotation": {
                        "type": "ETSPrimitiveType",
                        "loc": {
                          "start": {
                            "line": 31,
                            "column": 25
                          },
                          "end": {
                            "line": 31,
                            "column": 28
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 31,
                          "column": 22
                        },
                        "end": {
                          "line": 31,
                          "column": 28
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 31,
                        "column": 22
                      },
                      "end": {
                        "line": 31,
                        "column": 28
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "ETSPrimitiveType",
                  "loc": {
                    "start": {
                      "line": 31,
                      "column": 31
                    },
                    "end": {
                      "line": 31,
                      "column": 34
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [
                    {
                      "type": "IfStatement",
                      "test": {
                        "type": "BinaryExpression",
                        "operator": "<",
                        "left": {
                          "type": "Identifier",
                          "name": "n",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 32,
                              "column": 9
                            },
                            "end": {
                              "line": 32,
                              "column": 10
                            }
                          }
                        },
                        "right": {
                          "type": "NumberLiteral",
                          "value": 2,
                          "loc": {
                            "start": {
                              "line": 32,
                              "column": 13
                            },
                            "end": {
                              "line": 32,
                              "column": 14
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 32,
                            "column": 9
                          },
                          "end": {
                            "line": 32,
                            "column": 14
                          }
                        }
                      },
                      "consequent": {
                        "type": "BlockStatement",
                        "statements": [
                          {
                            "type": "ReturnStatement",
                            "argument": {
                              "type": "NumberLiteral",
                              "value": 1,
                              "loc": {
                                "start": {
                                  "line": 33,
                                  "column": 14
                                },
                                "end": {
                                  "line": 33,
                                  "column": 15
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 33,
                                "column": 7
                              },
                              "end": {
                                "line": 33,
                                "column": 16
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 32,
                            "column": 16
                          },
                          "end": {
                            "line": 34,
                            "column": 6
                          }
                        }
                      },
                      "alternate": null,
                      "loc": {
                        "start": {
                          "line": 32,
                          "column": 5
                        },
                        "end": {
                          "line": 34,
                          "column": 6
                        }
                      }
                    },
                    {
                      "type": "ReturnStatement",
                      "argument": {
                        "type": "BinaryExpression",
                        "operator": "+",
                        "left": {
                          "type": "CallExpression",
                          "callee": {
                            "type": "MemberExpression",
                            "object": {
                              "type": "Identifier",
                              "name": "ControlFlowRecursive",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 35,
                                  "column": 12
                                },
                                "end": {
                                  "line": 35,
                                  "column": 32
                                }
                              }
                            },
                            "property": {
                              "type": "Identifier",
                              "name": "fib",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 35,
                                  "column": 33
                                },
                                "end": {
                                  "line": 35,
                                  "column": 36
                                }
                              }
                            },
                            "computed": false,
                            "optional": false,
                            "loc": {
                              "start": {
                                "line": 35,
                                "column": 12
                              },
                              "end": {
                                "line": 35,
                                "column": 36
                              }
                            }
                          },
                          "arguments": [
                            {
                              "type": "BinaryExpression",
                              "operator": "-",
                              "left": {
                                "type": "Identifier",
                                "name": "n",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 35,
                                    "column": 37
                                  },
                                  "end": {
                                    "line": 35,
                                    "column": 38
                                  }
                                }
                              },
                              "right": {
                                "type": "NumberLiteral",
                                "value": 2,
                                "loc": {
                                  "start": {
                                    "line": 35,
                                    "column": 41
                                  },
                                  "end": {
                                    "line": 35,
                                    "column": 42
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 35,
                                  "column": 37
                                },
                                "end": {
                                  "line": 35,
                                  "column": 42
                                }
                              }
                            }
                          ],
                          "optional": false,
                          "loc": {
                            "start": {
                              "line": 35,
                              "column": 12
                            },
                            "end": {
                              "line": 35,
                              "column": 43
                            }
                          }
                        },
                        "right": {
                          "type": "CallExpression",
                          "callee": {
                            "type": "MemberExpression",
                            "object": {
                              "type": "Identifier",
                              "name": "ControlFlowRecursive",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 35,
                                  "column": 46
                                },
                                "end": {
                                  "line": 35,
                                  "column": 66
                                }
                              }
                            },
                            "property": {
                              "type": "Identifier",
                              "name": "fib",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 35,
                                  "column": 67
                                },
                                "end": {
                                  "line": 35,
                                  "column": 70
                                }
                              }
                            },
                            "computed": false,
                            "optional": false,
                            "loc": {
                              "start": {
                                "line": 35,
                                "column": 46
                              },
                              "end": {
                                "line": 35,
                                "column": 70
                              }
                            }
                          },
                          "arguments": [
                            {
                              "type": "BinaryExpression",
                              "operator": "-",
                              "left": {
                                "type": "Identifier",
                                "name": "n",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 35,
                                    "column": 71
                                  },
                                  "end": {
                                    "line": 35,
                                    "column": 72
                                  }
                                }
                              },
                              "right": {
                                "type": "NumberLiteral",
                                "value": 1,
                                "loc": {
                                  "start": {
                                    "line": 35,
                                    "column": 75
                                  },
                                  "end": {
                                    "line": 35,
                                    "column": 76
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 35,
                                  "column": 71
                                },
                                "end": {
                                  "line": 35,
                                  "column": 76
                                }
                              }
                            }
                          ],
                          "optional": false,
                          "loc": {
                            "start": {
                              "line": 35,
                              "column": 46
                            },
                            "end": {
                              "line": 35,
                              "column": 77
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 35,
                            "column": 12
                          },
                          "end": {
                            "line": 35,
                            "column": 77
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 35,
                          "column": 5
                        },
                        "end": {
                          "line": 35,
                          "column": 78
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 31,
                      "column": 35
                    },
                    "end": {
                      "line": 36,
                      "column": 4
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 31,
                    "column": 21
                  },
                  "end": {
                    "line": 36,
                    "column": 4
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 31,
                  "column": 21
                },
                "end": {
                  "line": 36,
                  "column": 4
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 31,
                "column": 3
              },
              "end": {
                "line": 36,
                "column": 4
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "tak",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 38,
                  "column": 18
                },
                "end": {
                  "line": 38,
                  "column": 21
                }
              }
            },
            "kind": "method",
            "accessibility": "private",
            "static": true,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "tak",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 38,
                      "column": 18
                    },
                    "end": {
                      "line": 38,
                      "column": 21
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "x",
                      "typeAnnotation": {
                        "type": "ETSPrimitiveType",
                        "loc": {
                          "start": {
                            "line": 38,
                            "column": 25
                          },
                          "end": {
                            "line": 38,
                            "column": 28
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 38,
                          "column": 22
                        },
                        "end": {
                          "line": 38,
                          "column": 28
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 38,
                        "column": 22
                      },
                      "end": {
                        "line": 38,
                        "column": 28
                      }
                    }
                  },
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "y",
                      "typeAnnotation": {
                        "type": "ETSPrimitiveType",
                        "loc": {
                          "start": {
                            "line": 38,
                            "column": 33
                          },
                          "end": {
                            "line": 38,
                            "column": 36
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 38,
                          "column": 30
                        },
                        "end": {
                          "line": 38,
                          "column": 36
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 38,
                        "column": 30
                      },
                      "end": {
                        "line": 38,
                        "column": 36
                      }
                    }
                  },
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "z",
                      "typeAnnotation": {
                        "type": "ETSPrimitiveType",
                        "loc": {
                          "start": {
                            "line": 38,
                            "column": 41
                          },
                          "end": {
                            "line": 38,
                            "column": 44
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 38,
                          "column": 38
                        },
                        "end": {
                          "line": 38,
                          "column": 44
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 38,
                        "column": 38
                      },
                      "end": {
                        "line": 38,
                        "column": 44
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "ETSPrimitiveType",
                  "loc": {
                    "start": {
                      "line": 38,
                      "column": 47
                    },
                    "end": {
                      "line": 38,
                      "column": 50
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [
                    {
                      "type": "IfStatement",
                      "test": {
                        "type": "BinaryExpression",
                        "operator": ">=",
                        "left": {
                          "type": "Identifier",
                          "name": "y",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 39,
                              "column": 9
                            },
                            "end": {
                              "line": 39,
                              "column": 10
                            }
                          }
                        },
                        "right": {
                          "type": "Identifier",
                          "name": "x",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 39,
                              "column": 14
                            },
                            "end": {
                              "line": 39,
                              "column": 15
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 39,
                            "column": 9
                          },
                          "end": {
                            "line": 39,
                            "column": 15
                          }
                        }
                      },
                      "consequent": {
                        "type": "BlockStatement",
                        "statements": [
                          {
                            "type": "ReturnStatement",
                            "argument": {
                              "type": "Identifier",
                              "name": "z",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 40,
                                  "column": 14
                                },
                                "end": {
                                  "line": 40,
                                  "column": 15
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 40,
                                "column": 7
                              },
                              "end": {
                                "line": 40,
                                "column": 16
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 39,
                            "column": 17
                          },
                          "end": {
                            "line": 41,
                            "column": 6
                          }
                        }
                      },
                      "alternate": null,
                      "loc": {
                        "start": {
                          "line": 39,
                          "column": 5
                        },
                        "end": {
                          "line": 41,
                          "column": 6
                        }
                      }
                    },
                    {
                      "type": "ReturnStatement",
                      "argument": {
                        "type": "CallExpression",
                        "callee": {
                          "type": "MemberExpression",
                          "object": {
                            "type": "Identifier",
                            "name": "ControlFlowRecursive",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 42,
                                "column": 12
                              },
                              "end": {
                                "line": 42,
                                "column": 32
                              }
                            }
                          },
                          "property": {
                            "type": "Identifier",
                            "name": "tak",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 42,
                                "column": 33
                              },
                              "end": {
                                "line": 42,
                                "column": 36
                              }
                            }
                          },
                          "computed": false,
                          "optional": false,
                          "loc": {
                            "start": {
                              "line": 42,
                              "column": 12
                            },
                            "end": {
                              "line": 42,
                              "column": 36
                            }
                          }
                        },
                        "arguments": [
                          {
                            "type": "CallExpression",
                            "callee": {
                              "type": "MemberExpression",
                              "object": {
                                "type": "Identifier",
                                "name": "ControlFlowRecursive",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 37
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 57
                                  }
                                }
                              },
                              "property": {
                                "type": "Identifier",
                                "name": "tak",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 58
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 61
                                  }
                                }
                              },
                              "computed": false,
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 42,
                                  "column": 37
                                },
                                "end": {
                                  "line": 42,
                                  "column": 61
                                }
                              }
                            },
                            "arguments": [
                              {
                                "type": "BinaryExpression",
                                "operator": "-",
                                "left": {
                                  "type": "Identifier",
                                  "name": "x",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 42,
                                      "column": 62
                                    },
                                    "end": {
                                      "line": 42,
                                      "column": 63
                                    }
                                  }
                                },
                                "right": {
                                  "type": "NumberLiteral",
                                  "value": 1,
                                  "loc": {
                                    "start": {
                                      "line": 42,
                                      "column": 66
                                    },
                                    "end": {
                                      "line": 42,
                                      "column": 67
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 62
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 67
                                  }
                                }
                              },
                              {
                                "type": "Identifier",
                                "name": "y",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 69
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 70
                                  }
                                }
                              },
                              {
                                "type": "Identifier",
                                "name": "z",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 72
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 73
                                  }
                                }
                              }
                            ],
                            "optional": false,
                            "loc": {
                              "start": {
                                "line": 42,
                                "column": 37
                              },
                              "end": {
                                "line": 42,
                                "column": 74
                              }
                            }
                          },
                          {
                            "type": "CallExpression",
                            "callee": {
                              "type": "MemberExpression",
                              "object": {
                                "type": "Identifier",
                                "name": "ControlFlowRecursive",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 76
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 96
                                  }
                                }
                              },
                              "property": {
                                "type": "Identifier",
                                "name": "tak",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 97
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 100
                                  }
                                }
                              },
                              "computed": false,
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 42,
                                  "column": 76
                                },
                                "end": {
                                  "line": 42,
                                  "column": 100
                                }
                              }
                            },
                            "arguments": [
                              {
                                "type": "BinaryExpression",
                                "operator": "-",
                                "left": {
                                  "type": "Identifier",
                                  "name": "y",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 42,
                                      "column": 101
                                    },
                                    "end": {
                                      "line": 42,
                                      "column": 102
                                    }
                                  }
                                },
                                "right": {
                                  "type": "NumberLiteral",
                                  "value": 1,
                                  "loc": {
                                    "start": {
                                      "line": 42,
                                      "column": 105
                                    },
                                    "end": {
                                      "line": 42,
                                      "column": 106
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 101
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 106
                                  }
                                }
                              },
                              {
                                "type": "Identifier",
                                "name": "z",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 108
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 109
                                  }
                                }
                              },
                              {
                                "type": "Identifier",
                                "name": "x",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 111
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 112
                                  }
                                }
                              }
                            ],
                            "optional": false,
                            "loc": {
                              "start": {
                                "line": 42,
                                "column": 76
                              },
                              "end": {
                                "line": 42,
                                "column": 113
                              }
                            }
                          },
                          {
                            "type": "CallExpression",
                            "callee": {
                              "type": "MemberExpression",
                              "object": {
                                "type": "Identifier",
                                "name": "ControlFlowRecursive",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 115
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 135
                                  }
                                }
                              },
                              "property": {
                                "type": "Identifier",
                                "name": "tak",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 136
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 139
                                  }
                                }
                              },
                              "computed": false,
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 42,
                                  "column": 115
                                },
                                "end": {
                                  "line": 42,
                                  "column": 139
                                }
                              }
                            },
                            "arguments": [
                              {
                                "type": "BinaryExpression",
                                "operator": "-",
                                "left": {
                                  "type": "Identifier",
                                  "name": "z",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 42,
                                      "column": 140
                                    },
                                    "end": {
                                      "line": 42,
                                      "column": 141
                                    }
                                  }
                                },
                                "right": {
                                  "type": "NumberLiteral",
                                  "value": 1,
                                  "loc": {
                                    "start": {
                                      "line": 42,
                                      "column": 144
                                    },
                                    "end": {
                                      "line": 42,
                                      "column": 145
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 140
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 145
                                  }
                                }
                              },
                              {
                                "type": "Identifier",
                                "name": "x",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 147
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 148
                                  }
                                }
                              },
                              {
                                "type": "Identifier",
                                "name": "y",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 42,
                                    "column": 150
                                  },
                                  "end": {
                                    "line": 42,
                                    "column": 151
                                  }
                                }
                              }
                            ],
                            "optional": false,
                            "loc": {
                              "start": {
                                "line": 42,
                                "column": 115
                              },
                              "end": {
                                "line": 42,
                                "column": 152
                              }
                            }
                          }
                        ],
                        "optional": false,
                        "loc": {
                          "start": {
                            "line": 42,
                            "column": 12
                          },
                          "end": {
                            "line": 42,
                            "column": 153
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 42,
                          "column": 5
                        },
                        "end": {
                          "line": 42,
                          "column": 154
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 38,
                      "column": 51
                    },
                    "end": {
                      "line": 43,
                      "column": 4
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 38,
                    "column": 21
                  },
                  "end": {
                    "line": 43,
                    "column": 4
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 38,
                  "column": 21
                },
                "end": {
                  "line": 43,
                  "column": 4
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 38,
                "column": 3
              },
              "end": {
                "line": 43,
                "column": 4
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "run",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 45,
                  "column": 17
                },
                "end": {
                  "line": 45,
                  "column": 20
                }
              }
            },
            "kind": "method",
            "accessibility": "public",
            "static": true,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "run",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 45,
                      "column": 17
                    },
                    "end": {
                      "line": 45,
                      "column": 20
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "returnType": {
                  "type": "ETSTypeReference",
                  "part": {
                    "type": "ETSTypeReferencePart",
                    "name": {
                      "type": "Identifier",
                      "name": "void",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 45,
                          "column": 24
                        },
                        "end": {
                          "line": 45,
                          "column": 28
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 45,
                        "column": 24
                      },
                      "end": {
                        "line": 45,
                        "column": 30
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 45,
                      "column": 24
                    },
                    "end": {
                      "line": 45,
                      "column": 30
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [
                    {
                      "type": "VariableDeclaration",
                      "declarations": [
                        {
                          "type": "VariableDeclarator",
                          "id": {
                            "type": "Identifier",
                            "name": "result",
                            "typeAnnotation": {
                              "type": "ETSPrimitiveType",
                              "loc": {
                                "start": {
                                  "line": 46,
                                  "column": 17
                                },
                                "end": {
                                  "line": 46,
                                  "column": 20
                                }
                              }
                            },
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 46,
                                "column": 9
                              },
                              "end": {
                                "line": 46,
                                "column": 15
                              }
                            }
                          },
                          "init": {
                            "type": "NumberLiteral",
                            "value": 0,
                            "loc": {
                              "start": {
                                "line": 46,
                                "column": 23
                              },
                              "end": {
                                "line": 46,
                                "column": 24
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 46,
                              "column": 9
                            },
                            "end": {
                              "line": 46,
                              "column": 24
                            }
                          }
                        }
                      ],
                      "kind": "let",
                      "loc": {
                        "start": {
                          "line": 46,
                          "column": 5
                        },
                        "end": {
                          "line": 46,
                          "column": 25
                        }
                      }
                    },
                    {
                      "type": "ForUpdateStatement",
                      "init": {
                        "type": "VariableDeclaration",
                        "declarations": [
                          {
                            "type": "VariableDeclarator",
                            "id": {
                              "type": "Identifier",
                              "name": "j",
                              "typeAnnotation": {
                                "type": "ETSPrimitiveType",
                                "loc": {
                                  "start": {
                                    "line": 47,
                                    "column": 17
                                  },
                                  "end": {
                                    "line": 47,
                                    "column": 20
                                  }
                                }
                              },
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 47,
                                  "column": 14
                                },
                                "end": {
                                  "line": 47,
                                  "column": 15
                                }
                              }
                            },
                            "init": {
                              "type": "MemberExpression",
                              "object": {
                                "type": "Identifier",
                                "name": "ControlFlowRecursive",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 47,
                                    "column": 23
                                  },
                                  "end": {
                                    "line": 47,
                                    "column": 43
                                  }
                                }
                              },
                              "property": {
                                "type": "Identifier",
                                "name": "n1",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 47,
                                    "column": 44
                                  },
                                  "end": {
                                    "line": 47,
                                    "column": 46
                                  }
                                }
                              },
                              "computed": false,
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 47,
                                  "column": 23
                                },
                                "end": {
                                  "line": 47,
                                  "column": 46
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 47,
                                "column": 14
                              },
                              "end": {
                                "line": 47,
                                "column": 46
                              }
                            }
                          }
                        ],
                        "kind": "let",
                        "loc": {
                          "start": {
                            "line": 47,
                            "column": 10
                          },
                          "end": {
                            "line": 47,
                            "column": 46
                          }
                        }
                      },
                      "test": {
                        "type": "BinaryExpression",
                        "operator": "<=",
                        "left": {
                          "type": "Identifier",
                          "name": "j",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 47,
                              "column": 48
                            },
                            "end": {
                              "line": 47,
                              "column": 49
                            }
                          }
                        },
                        "right": {
                          "type": "MemberExpression",
                          "object": {
                            "type": "Identifier",
                            "name": "ControlFlowRecursive",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 47,
                                "column": 53
                              },
                              "end": {
                                "line": 47,
                                "column": 73
                              }
                            }
                          },
                          "property": {
                            "type": "Identifier",
                            "name": "n2",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 47,
                                "column": 74
                              },
                              "end": {
                                "line": 47,
                                "column": 76
                              }
                            }
                          },
                          "computed": false,
                          "optional": false,
                          "loc": {
                            "start": {
                              "line": 47,
                              "column": 53
                            },
                            "end": {
                              "line": 47,
                              "column": 76
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 47,
                            "column": 48
                          },
                          "end": {
                            "line": 47,
                            "column": 76
                          }
                        }
                      },
                      "update": {
                        "type": "UpdateExpression",
                        "operator": "++",
                        "prefix": true,
                        "argument": {
                          "type": "Identifier",
                          "name": "j",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 47,
                              "column": 80
                            },
                            "end": {
                              "line": 47,
                              "column": 81
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 47,
                            "column": 78
                          },
                          "end": {
                            "line": 47,
                            "column": 81
                          }
                        }
                      },
                      "body": {
                        "type": "BlockStatement",
                        "statements": [
                          {
                            "type": "ExpressionStatement",
                            "expression": {
                              "type": "AssignmentExpression",
                              "operator": "+=",
                              "left": {
                                "type": "Identifier",
                                "name": "result",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 48,
                                    "column": 7
                                  },
                                  "end": {
                                    "line": 48,
                                    "column": 13
                                  }
                                }
                              },
                              "right": {
                                "type": "CallExpression",
                                "callee": {
                                  "type": "MemberExpression",
                                  "object": {
                                    "type": "Identifier",
                                    "name": "ControlFlowRecursive",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 48,
                                        "column": 17
                                      },
                                      "end": {
                                        "line": 48,
                                        "column": 37
                                      }
                                    }
                                  },
                                  "property": {
                                    "type": "Identifier",
                                    "name": "ack",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 48,
                                        "column": 38
                                      },
                                      "end": {
                                        "line": 48,
                                        "column": 41
                                      }
                                    }
                                  },
                                  "computed": false,
                                  "optional": false,
                                  "loc": {
                                    "start": {
                                      "line": 48,
                                      "column": 17
                                    },
                                    "end": {
                                      "line": 48,
                                      "column": 41
                                    }
                                  }
                                },
                                "arguments": [
                                  {
                                    "type": "NumberLiteral",
                                    "value": 3,
                                    "loc": {
                                      "start": {
                                        "line": 48,
                                        "column": 42
                                      },
                                      "end": {
                                        "line": 48,
                                        "column": 43
                                      }
                                    }
                                  },
                                  {
                                    "type": "Identifier",
                                    "name": "j",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 48,
                                        "column": 45
                                      },
                                      "end": {
                                        "line": 48,
                                        "column": 46
                                      }
                                    }
                                  }
                                ],
                                "optional": false,
                                "loc": {
                                  "start": {
                                    "line": 48,
                                    "column": 17
                                  },
                                  "end": {
                                    "line": 48,
                                    "column": 47
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 48,
                                  "column": 7
                                },
                                "end": {
                                  "line": 48,
                                  "column": 47
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 48,
                                "column": 7
                              },
                              "end": {
                                "line": 48,
                                "column": 48
                              }
                            }
                          },
                          {
                            "type": "ExpressionStatement",
                            "expression": {
                              "type": "AssignmentExpression",
                              "operator": "+=",
                              "left": {
                                "type": "Identifier",
                                "name": "result",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 49,
                                    "column": 7
                                  },
                                  "end": {
                                    "line": 49,
                                    "column": 13
                                  }
                                }
                              },
                              "right": {
                                "type": "CallExpression",
                                "callee": {
                                  "type": "MemberExpression",
                                  "object": {
                                    "type": "Identifier",
                                    "name": "ControlFlowRecursive",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 49,
                                        "column": 17
                                      },
                                      "end": {
                                        "line": 49,
                                        "column": 37
                                      }
                                    }
                                  },
                                  "property": {
                                    "type": "Identifier",
                                    "name": "fib",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 49,
                                        "column": 38
                                      },
                                      "end": {
                                        "line": 49,
                                        "column": 41
                                      }
                                    }
                                  },
                                  "computed": false,
                                  "optional": false,
                                  "loc": {
                                    "start": {
                                      "line": 49,
                                      "column": 17
                                    },
                                    "end": {
                                      "line": 49,
                                      "column": 41
                                    }
                                  }
                                },
                                "arguments": [
                                  {
                                    "type": "BinaryExpression",
                                    "operator": "+",
                                    "left": {
                                      "type": "NumberLiteral",
                                      "value": 17,
                                      "loc": {
                                        "start": {
                                          "line": 49,
                                          "column": 42
                                        },
                                        "end": {
                                          "line": 49,
                                          "column": 44
                                        }
                                      }
                                    },
                                    "right": {
                                      "type": "Identifier",
                                      "name": "j",
                                      "decorators": [],
                                      "loc": {
                                        "start": {
                                          "line": 49,
                                          "column": 47
                                        },
                                        "end": {
                                          "line": 49,
                                          "column": 48
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 49,
                                        "column": 42
                                      },
                                      "end": {
                                        "line": 49,
                                        "column": 48
                                      }
                                    }
                                  }
                                ],
                                "optional": false,
                                "loc": {
                                  "start": {
                                    "line": 49,
                                    "column": 17
                                  },
                                  "end": {
                                    "line": 49,
                                    "column": 49
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 49,
                                  "column": 7
                                },
                                "end": {
                                  "line": 49,
                                  "column": 49
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 49,
                                "column": 7
                              },
                              "end": {
                                "line": 49,
                                "column": 50
                              }
                            }
                          },
                          {
                            "type": "ExpressionStatement",
                            "expression": {
                              "type": "AssignmentExpression",
                              "operator": "+=",
                              "left": {
                                "type": "Identifier",
                                "name": "result",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 50,
                                    "column": 7
                                  },
                                  "end": {
                                    "line": 50,
                                    "column": 13
                                  }
                                }
                              },
                              "right": {
                                "type": "CallExpression",
                                "callee": {
                                  "type": "MemberExpression",
                                  "object": {
                                    "type": "Identifier",
                                    "name": "ControlFlowRecursive",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 50,
                                        "column": 17
                                      },
                                      "end": {
                                        "line": 50,
                                        "column": 37
                                      }
                                    }
                                  },
                                  "property": {
                                    "type": "Identifier",
                                    "name": "tak",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 50,
                                        "column": 38
                                      },
                                      "end": {
                                        "line": 50,
                                        "column": 41
                                      }
                                    }
                                  },
                                  "computed": false,
                                  "optional": false,
                                  "loc": {
                                    "start": {
                                      "line": 50,
                                      "column": 17
                                    },
                                    "end": {
                                      "line": 50,
                                      "column": 41
                                    }
                                  }
                                },
                                "arguments": [
                                  {
                                    "type": "BinaryExpression",
                                    "operator": "+",
                                    "left": {
                                      "type": "BinaryExpression",
                                      "operator": "*",
                                      "left": {
                                        "type": "NumberLiteral",
                                        "value": 3,
                                        "loc": {
                                          "start": {
                                            "line": 50,
                                            "column": 42
                                          },
                                          "end": {
                                            "line": 50,
                                            "column": 43
                                          }
                                        }
                                      },
                                      "right": {
                                        "type": "Identifier",
                                        "name": "j",
                                        "decorators": [],
                                        "loc": {
                                          "start": {
                                            "line": 50,
                                            "column": 46
                                          },
                                          "end": {
                                            "line": 50,
                                            "column": 47
                                          }
                                        }
                                      },
                                      "loc": {
                                        "start": {
                                          "line": 50,
                                          "column": 42
                                        },
                                        "end": {
                                          "line": 50,
                                          "column": 47
                                        }
                                      }
                                    },
                                    "right": {
                                      "type": "NumberLiteral",
                                      "value": 3,
                                      "loc": {
                                        "start": {
                                          "line": 50,
                                          "column": 50
                                        },
                                        "end": {
                                          "line": 50,
                                          "column": 51
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 50,
                                        "column": 42
                                      },
                                      "end": {
                                        "line": 50,
                                        "column": 51
                                      }
                                    }
                                  },
                                  {
                                    "type": "BinaryExpression",
                                    "operator": "+",
                                    "left": {
                                      "type": "BinaryExpression",
                                      "operator": "*",
                                      "left": {
                                        "type": "NumberLiteral",
                                        "value": 2,
                                        "loc": {
                                          "start": {
                                            "line": 50,
                                            "column": 53
                                          },
                                          "end": {
                                            "line": 50,
                                            "column": 54
                                          }
                                        }
                                      },
                                      "right": {
                                        "type": "Identifier",
                                        "name": "j",
                                        "decorators": [],
                                        "loc": {
                                          "start": {
                                            "line": 50,
                                            "column": 57
                                          },
                                          "end": {
                                            "line": 50,
                                            "column": 58
                                          }
                                        }
                                      },
                                      "loc": {
                                        "start": {
                                          "line": 50,
                                          "column": 53
                                        },
                                        "end": {
                                          "line": 50,
                                          "column": 58
                                        }
                                      }
                                    },
                                    "right": {
                                      "type": "NumberLiteral",
                                      "value": 2,
                                      "loc": {
                                        "start": {
                                          "line": 50,
                                          "column": 61
                                        },
                                        "end": {
                                          "line": 50,
                                          "column": 62
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 50,
                                        "column": 53
                                      },
                                      "end": {
                                        "line": 50,
                                        "column": 62
                                      }
                                    }
                                  },
                                  {
                                    "type": "BinaryExpression",
                                    "operator": "+",
                                    "left": {
                                      "type": "Identifier",
                                      "name": "j",
                                      "decorators": [],
                                      "loc": {
                                        "start": {
                                          "line": 50,
                                          "column": 64
                                        },
                                        "end": {
                                          "line": 50,
                                          "column": 65
                                        }
                                      }
                                    },
                                    "right": {
                                      "type": "NumberLiteral",
                                      "value": 1,
                                      "loc": {
                                        "start": {
                                          "line": 50,
                                          "column": 68
                                        },
                                        "end": {
                                          "line": 50,
                                          "column": 69
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 50,
                                        "column": 64
                                      },
                                      "end": {
                                        "line": 50,
                                        "column": 69
                                      }
                                    }
                                  }
                                ],
                                "optional": false,
                                "loc": {
                                  "start": {
                                    "line": 50,
                                    "column": 17
                                  },
                                  "end": {
                                    "line": 50,
                                    "column": 70
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 50,
                                  "column": 7
                                },
                                "end": {
                                  "line": 50,
                                  "column": 70
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 50,
                                "column": 7
                              },
                              "end": {
                                "line": 50,
                                "column": 71
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 47,
                            "column": 83
                          },
                          "end": {
                            "line": 51,
                            "column": 6
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 47,
                          "column": 5
                        },
                        "end": {
                          "line": 51,
                          "column": 6
                        }
                      }
                    },
                    {
                      "type": "AssertStatement",
                      "test": {
                        "type": "BinaryExpression",
                        "operator": "==",
                        "left": {
                          "type": "Identifier",
                          "name": "result",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 53,
                              "column": 12
                            },
                            "end": {
                              "line": 53,
                              "column": 18
                            }
                          }
                        },
                        "right": {
                          "type": "MemberExpression",
                          "object": {
                            "type": "Identifier",
                            "name": "ControlFlowRecursive",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 53,
                                "column": 22
                              },
                              "end": {
                                "line": 53,
                                "column": 42
                              }
                            }
                          },
                          "property": {
                            "type": "Identifier",
                            "name": "expected",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 53,
                                "column": 43
                              },
                              "end": {
                                "line": 53,
                                "column": 51
                              }
                            }
                          },
                          "computed": false,
                          "optional": false,
                          "loc": {
                            "start": {
                              "line": 53,
                              "column": 22
                            },
                            "end": {
                              "line": 53,
                              "column": 51
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 53,
                            "column": 12
                          },
                          "end": {
                            "line": 53,
                            "column": 51
                          }
                        }
                      },
                      "second": {
                        "type": "StringLiteral",
                        "value": "Incorrect result",
                        "loc": {
                          "start": {
                            "line": 53,
                            "column": 53
                          },
                          "end": {
                            "line": 53,
                            "column": 71
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 53,
                          "column": 5
                        },
                        "end": {
                          "line": 53,
                          "column": 72
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 45,
                      "column": 29
                    },
                    "end": {
                      "line": 54,
                      "column": 4
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 45,
                    "column": 20
                  },
                  "end": {
                    "line": 54,
                    "column": 4
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 45,
                  "column": 20
                },
                "end": {
                  "line": 54,
                  "column": 4
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 45,
                "column": 3
              },
              "end": {
                "line": 54,
                "column": 4
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "constructor",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "kind": "constructor",
            "static": false,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "constructor",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "body": {
                  "type": "BlockStatement",
                  "statements": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 55,
                "column": 2
              },
              "end": {
                "line": 55,
                "column": 2
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 16,
            "column": 35
          },
          "end": {
            "line": 55,
            "column": 2
          }
        }
      },
      "loc": {
        "start": {
          "line": 16,
          "column": 8
        },
        "end": {
          "line": 55,
          "column": 2
        }
      }
    },
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "ETSGLOBAL",
          "decorators": [],
          "loc": {
            "start": {
              "line": 1,
              "column": 1
            },
            "end": {
              "line": 1,
              "column": 1
            }
          }
        },
        "superClass": null,
        "implements": [],
        "body": [
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "_$init$_",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "kind": "method",
            "accessibility": "public",
            "static": true,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "_$init$_",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "body": {
                  "type": "BlockStatement",
                  "statements": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "main",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 57,
                  "column": 10
                },
                "end": {
                  "line": 57,
                  "column": 14
                }
              }
            },
            "kind": "method",
            "accessibility": "public",
            "static": true,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "main",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 57,
                      "column": 10
                    },
                    "end": {
                      "line": 57,
                      "column": 14
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "returnType": {
                  "type": "ETSTypeReference",
                  "part": {
                    "type": "ETSTypeReferencePart",
                    "name": {
                      "type": "Identifier",
                      "name": "void",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 57,
                          "column": 18
                        },
                        "end": {
                          "line": 57,
                          "column": 22
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 57,
                        "column": 18
                      },
                      "end": {
                        "line": 57,
                        "column": 24
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 57,
                      "column": 18
                    },
                    "end": {
                      "line": 57,
                      "column": 24
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [
                    {
                      "type": "ExpressionStatement",
                      "expression": {
                        "type": "CallExpression",
                        "callee": {
                          "type": "MemberExpression",
                          "object": {
                            "type": "Identifier",
                            "name": "ControlFlowRecursive",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 58,
                                "column": 3
                              },
                              "end": {
                                "line": 58,
                                "column": 23
                              }
                            }
                          },
                          "property": {
                            "type": "Identifier",
                            "name": "run",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 58,
                                "column": 24
                              },
                              "end": {
                                "line": 58,
                                "column": 27
                              }
                            }
                          },
                          "computed": false,
                          "optional": false,
                          "loc": {
                            "start": {
                              "line": 58,
                              "column": 3
                            },
                            "end": {
                              "line": 58,
                              "column": 27
                            }
                          }
                        },
                        "arguments": [],
                        "optional": false,
                        "loc": {
                          "start": {
                            "line": 58,
                            "column": 3
                          },
                          "end": {
                            "line": 58,
                            "column": 29
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 58,
                          "column": 3
                        },
                        "end": {
                          "line": 58,
                          "column": 30
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 57,
                      "column": 23
                    },
                    "end": {
                      "line": 59,
                      "column": 2
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 57,
                    "column": 14
                  },
                  "end": {
                    "line": 59,
                    "column": 2
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 57,
                  "column": 14
                },
                "end": {
                  "line": 59,
                  "column": 2
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 57,
                "column": 1
              },
              "end": {
                "line": 59,
                "column": 2
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 1,
            "column": 1
          },
          "end": {
            "line": 1,
            "column": 1
          }
        }
      },
      "loc": {
        "start": {
          "line": 1,
          "column": 1
        },
        "end": {
          "line": 1,
          "column": 1
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 60,
      "column": 1
    }
  }
}