remove the use of SymPy.Wild in unification