Module
  While
    Identifier(x)
    Assign
      Identifier(x)
      BinOp(-)
        Identifier(x)
        Number(1)