List<UInt32> Criterion.AttachedRefs { get; }