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