added some more debug info,  added another reason not to check predecessor.