remove an unnecessary hypothesis from compile_fake_exp_val