adapted map tests, realizing that for A + B all the keys and values of B
are guaranteed to be present.