let lemma_uip config = config.lemma_uip