Comment on this Routine

input the partial order

while (nextpair(&i,&j))

increase(j,count);

insert(i,j,succ);