Helper function for nextString. Increments the Pth position of X by one, wrapping around to 'a' if p == 'z'. If wraparound occurs, then we need to carry the one, and we increment position P - 1. Will fail for a character array containing only zs.
(char [] x, int p)
source not stored for this graph (policy: none)