Add new lemmas to MMapWeakList (admitted)