//System.out.println("\ncons_d after: " + cons_d);
Assert.assertEquals(1, cons_d.lowSeqnoAt(ip1));
Assert.assertEquals(2, cons_d.lowSeqnoAt(ip2));
Assert.assertEquals(4, cons_d.lowSeqnoAt(a1));
Assert.assertEquals(25, cons_d.lowSeqnoAt(a2));
Assert.assertEquals(20, cons_d.lowSeqnoAt(a3));
Assert.assertEquals(10, cons_d.highestDeliveredSeqnoAt(ip1));
Assert.assertEquals(20, cons_d.highestDeliveredSeqnoAt(ip2));
Assert.assertEquals(500, cons_d.highestDeliveredSeqnoAt(a1));
Assert.assertEquals(26, cons_d.highestDeliveredSeqnoAt(a2));