for S being COM-Struct
for F being MacroInstruction of S st card F = 1 holds
F = Stop S