Starting output contract verification.