theorem :: COMPOS_1:70

for S being COM-Struct holds InsCode (halt S) = 0 ;