Detecting loop-carried dependences in programs with dynamic data structures