for S being non empty 1-sorted holds [0,{},{}] in SCM-Instr S