if the following are true:

• the instruction at computer c and index x = an ADDI instruction with src: d imm: imm and dst: s
• the PC at computer c and time t = x

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