Updated code for lazy man's synthesis.

abclib.dsp

@@ -379,6 +379,10 @@ SOURCE=.\src\base\abci\abcRec.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcRec2.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcReconv.c
 # End Source File
 # Begin Source File

src/base/abci/abcRec2.c

@@ -1029,6 +1029,7 @@ void Abc_NtkRecInsertToLookUpTable2(Abc_ManRec_t2* p, int* ppSpot, Gia_Obj_t* pP
     unsigned char costFromStruct = Abc_NtkRecArea2(pObj);
     Abc_LookUpStatus_t2 result;
     Rec_Obj_t2 * pRecObj;
+    assert( nVars > 0 );
     for (i = 0; i < nVars; i++)
     {
         pLeaf = Gia_ManPi( p->pGia,  i);