Web Replay: memoize nondeterministic attributes of the Screen interface