Are you saying that the directed graph formed by D_dag_Nodes isn't acyclic?
Yes (at least with the current implementation).
Also, reference counts can only deal with acyclic (strong) references in nature.
Yes, that's why we have the problem that I mentioned.