theorem Th45: :: COMPOS_1:61

for S being COM-Struct
for i being Instruction of S holds dom (Macro i) = {0,1}