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--;
}
