Related PR: https://github.com/runtimeverification/mir-semantics/pull/654
Related PR: #654