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