Directly store the real SDD ptr in the successors stack.