IReadOnlyList<Property> ThermalComplianceConstraint.Properties { get; }