assert let
  var value := 5
  in
  result
end = 10