-
Daniel Liew authored
Revert "Remove sound ShlExpr optimisation that causes problems with the solver. This is NOT A GOOD FIX." This reverts commit bee97262. We need to fix this properly
d6ddbaad
Revert "Remove sound ShlExpr optimisation that causes problems with the solver. This is NOT A GOOD FIX." This reverts commit bee97262. We need to fix this properly