Fix latch retention bug and clean up dead code

Fix bug in Abc_NtkToDar where Nr_ManCopyOrigins for latches used a
potentially complemented pointer (for Init1 latches) and was redundant
with the CI loop that already tracks all latch CIs. Remove the
duplicate commented-out include in abc.h and dead declaration in
mainInt.h.

Found by Greptile review on #4.

Co-developed-by: Claude Code v2.1.49 (claude-opus-4-6)

Author: robtaylor

src/base/abc/abc.h

@@ -42,8 +42,6 @@
 #include "misc/extra/extra.h"
 #include "base/abc/node_retention.h"
 
-// #include "base/abc/node_retention.h"
-
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///
 ////////////////////////////////////////////////////////////////////////

src/base/abci/abcDar.c

@@ -300,11 +300,9 @@ Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters )
 
     // complement the 1-values registers
     if ( fRegisters ) {
-        Abc_NtkForEachLatch( pNtk, pObj, i ) {
+        Abc_NtkForEachLatch( pNtk, pObj, i )
             if ( Abc_LatchIsInit1(pObj) )
                 Abc_ObjFanout0(pObj)->pCopy = Abc_ObjNot(Abc_ObjFanout0(pObj)->pCopy);
-                Nr_ManCopyOrigins( pMan->pNodeRetention, pNtk->pNodeRetention, Abc_ObjId((Abc_Obj_t *)Abc_ObjFanout0(pObj)->pCopy), Abc_ObjId(pObj) );
-        }
     }
     // perform the conversion of the internal nodes (assumes DFS ordering)
 //    pMan->fAddStrash = 1;

src/base/main/mainInt.h

@@ -59,7 +59,6 @@ typedef void (*Abc_Frame_Callback_BmcFrameDone_Func)(int frame, int po, int stat
 
 struct Abc_Frame_t_
 {
-    // TODO move this one down
     Vec_Ptr_t *     vNodeRetention; // global map from node ID to name (char*)
     // general info
     char *          sVersion;      // the name of the current version
@@ -139,7 +138,6 @@ struct Abc_Frame_t_
     Vec_Ptr_t *     vPlugInComBinPairs;    // pairs of command and its binary name
     Vec_Ptr_t *     vLTLProperties_global; // related to LTL
     Vec_Ptr_t *     vSignalNames;  // temporary storage for signal names
-    // Vec_Ptr_t *     vNodeRetention; // global map from node ID to name (char*)
     char *          pSpecName;
     void *          pSave1; 
     void *          pSave2;