https://github.com/runtimeverification/haskell-backend/pull/3637 in Haskell backend adds a `vacuous` stop reason which is not described in the kore-rpc documentation yet.
