preliminary version of automatically generation the eqvt-lemmas for functions defined with nominal_primrec

use_thys ["Paper"];