Remove unification.py