Index: vis_dev/vis-2.3/src/debug/debug.c
===================================================================
--- vis_dev/vis-2.3/src/debug/debug.c	(revision 45)
+++ vis_dev/vis-2.3/src/debug/debug.c	(revision 96)
@@ -829,5 +829,5 @@
 /* with the transtion relation     */
 /***********************************/
-rel = buildDummy3(mddManager,network);
+rel = buildDummyBdd(mddManager);
 if(rel == NIL(mdd_t))
 {
@@ -853,4 +853,5 @@
 char * nodeName;
 arrayForEachItem(char *, roots, i, nodeName) {
+  
 	/* The new relation */ 
 	vertex_t *vertex = Part_PartitionFindVertexByName(partition, nodeName);
@@ -858,5 +859,13 @@
     int mddId = array_fetch(int, rangeVarMddIdArray, i);
 	mdd_t *relation = Mvf_FunctionBuildRelationWithVariable(mvf, mddId);
-    mdd_FunctionPrintMain (mddManager ,relation,"MVF",vis_stdout);
+    if(verbose){
+      int x;
+      mdd_t * comp;
+
+      Mvf_FunctionForEachComponent( mvf, x, comp){
+        printf("%d mdd %d ",x,mddId);
+        mdd_FunctionPrintMain (mddManager ,comp,"MVF",vis_stdout);
+      }
+    }
 
 	mdd_t * n_relation = mdd_and(relation,rel,1,1);
@@ -902,5 +911,5 @@
 
 usage:
-(void) fprintf(vis_stderr, "usage: _Debug_test [-h] [-v]\n");
+(void) fprintf(vis_stderr, "usage: _transition [-h] [-v]\n");
 (void) fprintf(vis_stderr, "   -h\t\tprint the command usage\n");
 (void) fprintf(vis_stderr, "   -v\t\tverbose\n");