The map Map contains a key/value pair for every key that appears in either the map MapA or the map MapB. If a key Key appears in MapB, then its corresponding value in Map is that appearing in MapB; otherwise it is that appearing in MapA.
This predicate should only be called with maps created by other predicates from the map module.