for S being non empty 1-sorted
for R being Ring
for d1 being Data-Location of R
for i1 being Nat holds [7,<*i1*>,<*d1*>] in SCM-Instr S