it is alread used for the error cases anyway.
one could introduce an intermediate state InferiorRunningFailed, but
this doesn't seem to bring any advantages.