feat: equality propagation in `grind order`#11047

Merged

leodemoura merged 12 commits intomasterfrom

grind_order_term_eq

Nov 1, 2025

Commits on Oct 31, 2025

feat: improve `isForbiddenParent` in `grind order`
leodemoura
committed

Commits on Nov 1, 2025