在精确验证器与固定源的设定下，把所有调用都挪到第一次验证之前，能保持所有关于调用次数的硬上限；交错执行不能突破硬上限，尽管在期望调用次数上可能节省无限多。