:: deftheorem Def1 defines keeping_0 SCMFSA6C:def 1 :
for i being Instruction of SCM+FSA holds
( i is keeping_0 iff Macro i is keeping_0 );