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