let lemma_max_constraints = 10000