prove up to Abs case of INST_CORE_IMP

cheat the Abs case and use it to prove INST_IMP