[build] check lemmas