IReadOnlyList<Property> CriterionConstraint.Properties { get; }