prove cheats in INPUT_TYPE_all_locs and INPUT_TYPE_no_closures
bit of progress on cheat in COMPILER_RUN_INV_INR