Flaky behavior on simplify endpoint

[tothtamas28]

Related:

• Change to simplify endpoint behavior w.r.t. generating ceil conditions #3730
• Adding symbol(ite) to #if_#then_#else_#fi causes regression #3731
• Update dependency: deps/k_release pyk#1070

runtimeverification/k#4146 removed some symbol attributes from definition.kore (format, color, ...). As a result, TestMiniKEVM started failing in runtimeverification/pyk#1070 (only for the old backend).

The same test failed earlier after adding the symbol attribute to some productions in runtimeverification/k#4024. Then, the fix was to pin hashable to a given version in #3732.

Based on this, I think there might be a hash set or similar somewhere in the code base whose iteration order somehow influences simplify responses.

Bug reports:

• Old behavior (K v6.3.75): old.tar.zip
• New behavior (K v6.3.76): new.tar.zip

First divergent reponse:

• Request: 002_request.json
• Old response: 002_response.json
• New response: 002_response.json

[tothtamas28]

A few hints that the issue is related to ordering of some objects:

• A change in K regression test output: https://github.com/runtimeverification/k/pull/4146/files#diff-30e2260971aa59231e74ba976c6f6693b98e0ec72c5bdacf86d7631da8ca3621
• This comment from earlier: Change to simplify endpoint behavior w.r.t. generating ceil conditions #3730 (comment)