let stmt_can_reach_memo = StmtCanReachCache.memo Stmts_graph.stmt_can_reach