diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index 0ffb887df..7b56afbbd 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/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;
diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c
index 85e105112..683735221 100644
--- a/src/base/wlc/wlcCom.c
+++ b/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: