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