Fix new_merged for AssignmentCollections
- Apr 16, 2024
-
-
Alexander Reinauer authoredUnverified415d1b8b
-
Alexander Reinauer authored
by first substituting the rhs with newly introduced symbols before comparing the rhs
Unverified5db80bb7
-
This one fixes #89 (closed)
by first substituting the rhs with newly introduced symbols before comparing the rhs