IReadOnlyList<Property> AMOverhangConstraint.Properties { get; }