Refinement to stateLib.introduce_map_definition.

Should do a better job when simplifying reg-map updates.