void IDurableQueue.Add(IDurableOperation op) { _ops.AddLast(op); _counters.Vcall_State_DurableOperations++; }
void IDurableQueue.Remove(IDurableOperation op) { bool wasThere = _ops.Remove(op); if (wasThere) _counters.Vcall_State_DurableOperations--; }