Lifting lemmas : get rid of \phi when it has became useless

0 jobs