Yes, ``isTerminated`` is one of my Sins. Even though the semantics of it is extremely clear, people get it wrong.