(Program
  (Function
    (Empty)
    (Empty)
    (Identifier)
    (
      (VariableDeclaration
        (Assignment
          (Empty)
          (Identifier)
          (Float)))
      (Yield
      { (Update
        {-(Identifier)-})
      ->(Identifier) }))))