Merges two maps m1 and m2, where keys present in m2 take precedence over m1. Ensure no new elements appear.