Here is the original discussion: https://github.com/runtimeverification/mir-semantics/pull/811#discussion_r2512387822