OK, now it seems that I understood. I need to verify amount memory needed for paths because it seems that they tends to accumulate. Also I need to verify final emptying, because IO guarantees of original paper is based on strict descending final emptying.