public void ClearEagerOperationMap() => thread_local_eager_operation_map.Clear();
public void Clear() { keyToValue.Clear(); valueToKey.Clear(); }