User Contraction almost complete. Heuristic 2: using change address not
yet implemented.