+ //FIXME: Current implementation of Problem code is not completely thread-safe.
+ //If poll is called before pv is updated, we lose this move.
+ //(failHighPly1 also suffers from same kind of problems though. There is also a small
+ //fraction of time when failHighPly1 and Problem are _both_ false, though we
+ //are facing bad problems. If we are very unlucky search is terminated).
+ Threads[threadID].aspirationFailHighPly1 = false;