let lemma_min (flags: flags) = get_flag_int flags.flags FL_LemmaMin