{
  "type": "Program",
  "statements": [
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "a",
            "loc": {
              "start": {
                "line": 17,
                "column": 5
              },
              "end": {
                "line": 17,
                "column": 6
              }
            }
          },
          "init": {
            "type": "NumberLiteral",
            "value": 0,
            "loc": {
              "start": {
                "line": 17,
                "column": 9
              },
              "end": {
                "line": 17,
                "column": 10
              }
            }
          },
          "loc": {
            "start": {
              "line": 17,
              "column": 5
            },
            "end": {
              "line": 17,
              "column": 10
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 17,
          "column": 1
        },
        "end": {
          "line": 17,
          "column": 11
        }
      }
    },
    {
      "type": "WhileStatement",
      "test": {
        "type": "BinaryExpression",
        "operator": "<",
        "left": {
          "type": "UpdateExpression",
          "operator": "++",
          "prefix": false,
          "argument": {
            "type": "Identifier",
            "name": "a",
            "loc": {
              "start": {
                "line": 19,
                "column": 8
              },
              "end": {
                "line": 19,
                "column": 9
              }
            }
          },
          "loc": {
            "start": {
              "line": 19,
              "column": 8
            },
            "end": {
              "line": 19,
              "column": 11
            }
          }
        },
        "right": {
          "type": "NumberLiteral",
          "value": 10,
          "loc": {
            "start": {
              "line": 19,
              "column": 14
            },
            "end": {
              "line": 19,
              "column": 16
            }
          }
        },
        "loc": {
          "start": {
            "line": 19,
            "column": 8
          },
          "end": {
            "line": 19,
            "column": 16
          }
        }
      },
      "body": {
        "type": "BlockStatement",
        "statements": [
          {
            "type": "VariableDeclaration",
            "declarations": [
              {
                "type": "VariableDeclarator",
                "id": {
                  "type": "Identifier",
                  "name": "E",
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "init": null,
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              }
            ],
            "kind": "let",
            "loc": {
              "start": {
                "line": 19,
                "column": 18
              },
              "end": {
                "line": 19,
                "column": 26
              }
            }
          },
          {
            "type": "ExpressionStatement",
            "expression": {
              "type": "CallExpression",
              "callee": {
                "type": "FunctionExpression",
                "function": {
                  "type": "ScriptFunction",
                  "id": null,
                  "generator": false,
                  "async": false,
                  "expression": false,
                  "params": [
                    {
                      "type": "Identifier",
                      "name": "E",
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    }
                  ],
                  "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
                  }
                }
              },
              "arguments": [
                {
                  "type": "LogicalExpression",
                  "operator": "||",
                  "left": {
                    "type": "Identifier",
                    "name": "E",
                    "loc": {
                      "start": {
                        "line": 1,
                        "column": 1
                      },
                      "end": {
                        "line": 1,
                        "column": 1
                      }
                    }
                  },
                  "right": {
                    "type": "AssignmentExpression",
                    "operator": "=",
                    "left": {
                      "type": "Identifier",
                      "name": "E",
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "right": {
                      "type": "ObjectExpression",
                      "properties": [],
                      "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
                    }
                  }
                }
              ],
              "optional": false,
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "loc": {
              "start": {
                "line": 19,
                "column": 18
              },
              "end": {
                "line": 19,
                "column": 26
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 1,
            "column": 1
          },
          "end": {
            "line": 1,
            "column": 1
          }
        }
      },
      "loc": {
        "start": {
          "line": 19,
          "column": 1
        },
        "end": {
          "line": 19,
          "column": 26
        }
      }
    },
    {
      "type": "DoWhileStatement",
      "body": {
        "type": "BlockStatement",
        "statements": [
          {
            "type": "VariableDeclaration",
            "declarations": [
              {
                "type": "VariableDeclarator",
                "id": {
                  "type": "Identifier",
                  "name": "E",
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "init": null,
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              }
            ],
            "kind": "let",
            "loc": {
              "start": {
                "line": 21,
                "column": 4
              },
              "end": {
                "line": 21,
                "column": 12
              }
            }
          },
          {
            "type": "ExpressionStatement",
            "expression": {
              "type": "CallExpression",
              "callee": {
                "type": "FunctionExpression",
                "function": {
                  "type": "ScriptFunction",
                  "id": null,
                  "generator": false,
                  "async": false,
                  "expression": false,
                  "params": [
                    {
                      "type": "Identifier",
                      "name": "E",
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    }
                  ],
                  "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
                  }
                }
              },
              "arguments": [
                {
                  "type": "LogicalExpression",
                  "operator": "||",
                  "left": {
                    "type": "Identifier",
                    "name": "E",
                    "loc": {
                      "start": {
                        "line": 1,
                        "column": 1
                      },
                      "end": {
                        "line": 1,
                        "column": 1
                      }
                    }
                  },
                  "right": {
                    "type": "AssignmentExpression",
                    "operator": "=",
                    "left": {
                      "type": "Identifier",
                      "name": "E",
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "right": {
                      "type": "ObjectExpression",
                      "properties": [],
                      "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
                    }
                  }
                }
              ],
              "optional": false,
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "loc": {
              "start": {
                "line": 21,
                "column": 4
              },
              "end": {
                "line": 21,
                "column": 12
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 1,
            "column": 1
          },
          "end": {
            "line": 1,
            "column": 1
          }
        }
      },
      "test": {
        "type": "BinaryExpression",
        "operator": "<",
        "left": {
          "type": "UpdateExpression",
          "operator": "++",
          "prefix": false,
          "argument": {
            "type": "Identifier",
            "name": "a",
            "loc": {
              "start": {
                "line": 21,
                "column": 21
              },
              "end": {
                "line": 21,
                "column": 22
              }
            }
          },
          "loc": {
            "start": {
              "line": 21,
              "column": 21
            },
            "end": {
              "line": 21,
              "column": 24
            }
          }
        },
        "right": {
          "type": "NumberLiteral",
          "value": 20,
          "loc": {
            "start": {
              "line": 21,
              "column": 27
            },
            "end": {
              "line": 21,
              "column": 29
            }
          }
        },
        "loc": {
          "start": {
            "line": 21,
            "column": 21
          },
          "end": {
            "line": 21,
            "column": 29
          }
        }
      },
      "loc": {
        "start": {
          "line": 21,
          "column": 1
        },
        "end": {
          "line": 21,
          "column": 30
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 22,
      "column": 1
    }
  }
}
Transformed AST structure check passed.