Fixed naming of lemmas generated by schemaext.