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