Create the loop structure (loop header, loop body and loop exit) when
analyzing the loop or forall bytecode.