prove the INST_CORE_IMP cheat