some new Lem-generated files

this slightly broke one proof due to a change of bound variable names