let lemma_parametric_assert config = config.lemma_parametric_assert