finish all cheats in free_vars_pat_exp_to_pat