let
stmt_can_reach =
Stmts_graph
.stmt_can_reach current_function