Fix tests for the new Sympy