CHECKPOINT: ADD Instruction implementation