prove two cheats in free_vars_pat_exp_to_pat