Equality Saturation bekommt Assoziativität und Kommutativität nativ – E-Graphen werden nicht mehr exponentiell aufgebläht 1. Oktober 2026