let filterStmt stmt = Db.Value.is_accessible (Kstmt stmt)