let lemma (flags: flags) = get_flag_lemma flags.flags FL_Lemma