Module Core_map_unit_tests