In some cases of two imbricated loops, we would tail-duplicate too much,
because of the input trace traversing both loop headers.