Added some tracing output in unification of terms