This works when list nodes are allocated subsequently without other irrelevant allocations intervened. If your case doesn't fit this constraint, value speculation doesn't seem to work. Any comments?