[Evaluation] Fixed evaluation of pointer arithmetic