Abstract Interpretation on E-Graphs - 42Papers