Find some error

Some error in unify and in Substitution, to check