let get_info _kf_stmt_opt =
    if Cilutil.StmtSet.is_empty (Fscope.get ())
      && Cilutil.StmtSet.is_empty (FBscope.get ())
      && Cilutil.StmtSet.is_empty (Bscope.get ())
    then ""
    else "[scope] selected"