List<UInt32> ConstraintEquation.AttachedRefs { get; }