An algorithm for incrementally updating LoopInfo within a