This MR fixes two bugs:
-
Fixed reuseelimination for MOP-WLs. The renaming of reused variables was incomplete. Now, we traverse through the entire tree and use EMREid to ensure ubiquitous renaming.
-
Fixed reuse branching for MOP-WLs. The order of return expressions was inverted.