let
stmt_can_reach_memo =
StmtCanReachCache
.memo
Stmts_graph
.stmt_can_reach