Description: Transfer existential uniqueness from a variable x to another variable y contained in expression A . Use reuhypd to eliminate the second hypothesis. (Contributed by NM, 16-Jan-2012)