List<UInt32> InitialConditions.AttachedRefs { get; }