Warming up verification engines...