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