if the following are true:

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

then the PC at time (t + 1) = x + 1