Small changes in several packages.

src/aig/gia/giaIf.c

@@ -363,6 +363,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile )
             pLevels[i] = Abc_MaxInt( pLevels[i], pLevels[pFanins[2]] );
             LevelMax = Abc_MaxInt( LevelMax, pLevels[i] );
             nMuxF7++;
+            nFanins++;
             continue;
         }
         nLuts++;
@@ -406,8 +407,8 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile )
     Abc_Print( 1, "\n" );
 #endif
 
-    Gia_ManCountDupLut6( p );
-
+    if ( nMuxF7 )
+        Gia_ManCountDupLut6( p );
 
     if ( pDumpFile )
     {

src/misc/vec/vecMem.h

@@ -391,6 +391,14 @@ static inline Vec_Mem_t * Vec_MemAllocForTT( int nVars, int fCompl )
     ABC_FREE( uTruth );
     return vTtMem;
 }
+static inline void Vec_MemAddMuxTT( Vec_Mem_t * p, int nVars )
+{
+    int Value, nWords = (nVars <= 6 ? 1 : (1 << (nVars - 6)));
+    word * uTruth = ABC_ALLOC( word, nWords ); 
+    memset( uTruth, 0xCA, sizeof(word) * nWords );
+    Value = Vec_MemHashInsert( p, uTruth ); assert( Value == 2 );
+    ABC_FREE( uTruth );
+}
 static inline void Vec_MemDumpTruthTables( Vec_Mem_t * p, char * pName, int nLutSize )
 {
     FILE * pFile;