Linearizability testing S2 with deterministic simulation