Analyzed the Loop and Loop end bytecode to form a loop structure,
including loop header, loop body and loop exit.