if the following are true:

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

then value of cell other at time (t + 1) = value of cell other at time t