better debuggin printing for the unification function