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

Draft

oskgo wants to merge 2 commits intomainfrom

Commits on May 7, 2026

Check equality of expressions up to convertibility

oskgo
and
Copilot
committed
fall back to checking equality of expressions in `sim`

oskgo
and
Copilot
committed