E-unification by means of tree tuple synchronized grammars