assert (let
          var value := 5
          in
          value
        end) = 0