DebugJDD: fix Copy() case, directly use JDD.DD_Deref to avoid misleading tracing output

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11380 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/jdd/DebugJDD.java

@@ -509,8 +509,8 @@ public class DebugJDD
 			throw new RuntimeException("DebugJDD: Trying to copy a JDDNode with non-positive CUDD ref count:\n " + dNode.toStringVerbose());
 		}
 
-		DebugJDDNode result = new DebugJDD.DebugJDDNode(dNode.ptr(), false);
-		JDD.Ref(result);
+		DebugJDDNode result = new DebugJDD.DebugJDDNode(dNode.ptr(), true);
+		JDD.DD_Ref(result.ptr());
 
 		if (isTraced(dNode)) {
 			trace("Copy to "+result.getID(), dNode);