let lemma_min config = config.lemma_min