fix: reduce `Eq.rec` when mvars are present#6577

Open

cppio wants to merge 1 commit intoleanprover:masterfrom cppio:ctor-k-mvar

+24-2

Commits on Jan 8, 2025

fix: reduce Eq.rec when mvars are present
cppio
committed