* @egraphs-good/egglog-reviewers