cut elim for one kind of cons