Deleted mapnode-pair-maps-to-mapnode-ids.

This function was obsoleted by recent changes.  No longer in use.