for S being COM-Struct
for x being set
for i being Instruction of S holds
( x in dom (Macro i) iff ( x = 0 or x = 1 ) )