OFMapTable: Improve enumeration mutation detection