Corrected bug in HO unification: wrong handling of imitation in the presence of local variables.