major time speedup in Pepper.allDiff