sig val identify_loops : LoopInfo.graph -> LoopInfo.tenv end