Seems we no longer consider the STREAM_EOF case here anymore. DeStateFlowHasInspectableState() doesn't seem to either.