- (debugging) searchForAll is sequential (instead of parallel).