lemma_add/
lemma_alloc/
lemma_call/
lemma_end/
lemma_free/
lemma_free1/
lemma_mark/
lemma_remove/
lemma_step/
lemma_stop/