if the following are true:

• subtract immediate instruction with dst: dst src: src and immediate: imm at i
• the PC at time t = i

then value of cell dst at time (t + 1) = (value of cell src at time t) - imm