remove unused lemma 'values_are_term''