let
cleanup () =
StmtCanReachCache
.clear ()