Changes to jimplefront.ml: cfg_core -> core.