prove a cheat in free_vars_pat_exp_to_pat