Remove a few redundant checks to IState.IsTerminated