Enabling AIGs without structural hashing.

src/aig/gia/giaAiger.c

@@ -1159,7 +1159,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
         uLit  = Abc_Var2Lit( i, 0 );
         uLit0 = Gia_ObjFaninLit0( pObj, i );
         uLit1 = Gia_ObjFaninLit1( pObj, i );
-        assert( Gia_ManBufNum(p) || uLit0 < uLit1 );
+        assert( p->fGiaSimple || Gia_ManBufNum(p) || uLit0 < uLit1 );
         Pos = Gia_AigerWriteUnsignedBuffer( pBuffer, Pos, uLit  - uLit1 );
         Pos = Gia_AigerWriteUnsignedBuffer( pBuffer, Pos, uLit1 - uLit0 );
         if ( Pos > nBufferSize - 10 )

src/aig/gia/giaShow.c

@@ -392,7 +392,7 @@ void Gia_WriteDotAig( Gia_Man_t * pMan, char * pFileName, Vec_Int_t * vBold, int
     // the labeling node of this level
     fprintf( pFile, "  Level%d;\n",  0 );
     // generate constant node
-    if ( fConstIsUsed )
+    if ( fConstIsUsed || pMan->fGiaSimple )
     {
         // check if the costant node is present
         fprintf( pFile, "  Node%d [label = \"Const0\"", 0 );