Allow rewrites to generate lemmas.