let
is_accessible =
Db
.
Value
.is_reachable_stmt