prove cheats in compile_dec_val