let cleanup () = 
  StmtCanReachCache.clear ()