Stop relying on replace by
automatic assumption
-based solving
#1657
+2
−2
replace by
automatic assumption
-based solving
#1657