public override bool IsTerminated { get; }

abstract IsTerminated : bool with get
override IsTerminated : bool with get