A new algorithm for computing LoopInfo. Temporarily disabled.