Flags.lemma_parametric_assert

let lemma_parametric_assert (flags: flags) = get_flag_int flags.flags FL_LemmaParametricAssert