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"