Assert.assertEquals(20, cons_d.highestDeliveredSeqnoAt(ip2));
Assert.assertEquals(500, cons_d.highestDeliveredSeqnoAt(a1));
Assert.assertEquals(26, cons_d.highestDeliveredSeqnoAt(a2));
Assert.assertEquals(25, cons_d.highestDeliveredSeqnoAt(a3));
Assert.assertEquals(10, cons_d.highestReceivedSeqnoAt(ip1));
Assert.assertEquals(20, cons_d.highestReceivedSeqnoAt(ip2));
Assert.assertEquals(501, cons_d.highestReceivedSeqnoAt(a1));
Assert.assertEquals(26, cons_d.highestReceivedSeqnoAt(a2));
Assert.assertEquals(33, cons_d.highestReceivedSeqnoAt(a3));
}