Fall back to checking equality of expressions in `sim`#997

Draft

oskgo wants to merge 2 commits into

mainfrom

Commits on May 28, 2026

reexport expr equality and use same dummy on both sides
oskgo
committed

Commits on May 29, 2026

fall back to checking equality of expressions in `sim`

oskgo
and
Copilot
committed