IReadOnlyList<Property> PatternRepetitionConstraint.Properties { get; }