theorem Th29: :: COMPOS_2:30

for S being with_non_trivial_Instructions COM-Struct
for i being No-StopCode Instruction of S holds LastLoc (Macro i) = 1