List<UInt32> InitialCondition.AttachedRefs { get; }