The preview will proceed as if the operations had not been issued (i.e. we will not speculate on a new state for the stack). This is consistent with our behavior prior to the changes that added pending operations to the checkpoint.
WriteString
tools/GenWriter