Faster unification of arguments between a term and its translated form