Transform a - (b - c) into (a - b) + c instead of a + (c - b) iff (b - c) is a pointer.