let eprover (flags: flags) = get_flag_string flags.flags FL_EProver