commit of verification long standing branch

```Attribute.LEMMA_KEY```