Refactor composites testing into generator
Allow empty lemmas