let filterStmt (s:stmt) =
    let state = Value.noassert_get_state (Kstmt s) in
    Value.is_reachable state