- In https://github.com/runtimeverification/stable-mir-json/pull/102, the output is not sorted as before even with linux server and `LC_ALL=C` env.