Slowdown checking WIP(1)