for i, j being Instruction of SCMPDS holds i ';' j = (Load i) ';' j ;