Bug fix in abstracting boxes.

src/base/wlc/wlcAbs.c

@@ -152,6 +152,8 @@ Wlc_Ntk_t * Wlc_NtkAbstractNodes( Wlc_Ntk_t * p, Vec_Int_t * vNodesInit )
     Wlc_NtkCleanCopy( p );
     Wlc_NtkForEachObj( p, pObj, i )
     {
+        if ( i == Vec_IntSize(&p->vCopies) )
+            break;
         if ( pObj->Mark ) {
             // clean
             pObj->Mark = 0;

src/base/wlc/wlcCom.c

@@ -356,8 +356,8 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
         return 0;
     }
     // transform
-//    pNtk = Wlc_NtkAbstractNodes( pNtk, NULL );
     pNtk = Wlc_NtkUifNodePairs( pNtk, NULL );
+    pNtk = Wlc_NtkAbstractNodes( pNtk, NULL );
     Wlc_AbcUpdateNtk( pAbc, pNtk );
     return 0;
 usage: