Adding miter construction with one bit-level output for each pair of word-level…

Adding miter construction with one bit-level output for each pair of word-level outputs (small fix).

src/aig/gia/giaHash.c

@@ -808,7 +808,7 @@ int Gia_ManHashAndMulti2( Gia_Man_t * p, Vec_Int_t * vLits )
 }
 int Gia_ManHashDualMiter( Gia_Man_t * p, Vec_Int_t * vOuts )
 {
-    int i, iLit0, iLit1, iRes = 1;
+    int i, iLit0, iLit1, iRes = 0;
     Vec_IntForEachEntryDouble( vOuts, iLit0, iLit1, i )
         iRes = Gia_ManHashOr( p, iRes, Gia_ManHashXor(p, iLit0, iLit1) );
     return iRes;