Correct add-equal operator in case_rand_imm