prove cheats in COMPILER_RUN_INV_INR