let get_info _kf_stmt_opt =
    if Stmt.Set.is_empty (Pscope.get ())
    then ""
    else "[prop_scope] selected"