let get_info _kf_stmt_opt = if Cilutil.StmtSet.is_empty (ShowDefState.get()) then "" else "[show_def] selected"