core_map: Use Core_map in Semantics