Don't use new assumptions in the solvers module