The generated loop structure before (a) and after (b) constant ...