Remove a few redundant checks to IState.getTerminated; bug fix in OrthogonalState.process