let stmt_can_reach = Stmts_graph.stmt_can_reach current_function