⟲ Restart (step 0)
Step → SLOAD (clean)
Step → CALL (call-pending)
Step → SSTORE (violated)
no step driven yet