:: deftheorem Def10 defines shiftable SCMPDS_4:def 10 :
for i being Instruction of SCMPDS holds
( i is shiftable iff ( InsCode i = 2 or ( InsCode i <> 14 & InsCode i > 6 ) ) );