Unification of argument's name stream