State InitialCondition.State { get; }