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