for k1 being Integer holds [14,{},<*k1*>] in SCMPDS-Instr