let filterStmt stmt =
    Db.Value.is_reachable (Values_To_Use.get_stmt_state stmt)