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