Added a simple specification that the tested protocols are under never-proved-before traffic conditions