======================================
A_LEMMA (invariant admissibility)
Successfully verified.
======================================
ANY.default_create (creator, inherited by A_LEMMA)
Successfully verified.
======================================
A_LEMMA.lemma1
Successfully verified.
======================================
A_LEMMA.lemma2
Successfully verified.
======================================
A_LEMMA.client
Successfully verified.