let lemma_max (flags: flags) = get_flag_int flags.flags FL_LemmaMax