redefined isSubMap since it did not define a partial order (not always
antiReflexive when the maps were of equal size and have equal keys, but
not equal values)