let is_accessible = Db.Value.is_reachable_stmt