remove excess newlines in assume.py
compatibility.next import in unify/test_sympy.py