Add writing used lemmas from SPASS