IReadOnlyList<Property> InitialCondition.Properties { get; }