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"