special case the case of root being replicated into an expression during unification