debugging successor list