let
filterStmt stmt =
Db
.
Value
.is_reachable (
Values_To_Use
.get_state (
Kstmt
stmt))