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