Writing status file vta.status when dumping intermediate abstraction in &vta.

src/aig/gia/giaAbsVta.c

@@ -1608,7 +1608,9 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
         // dump the model
         if ( p->pPars->fDumpVabs && (f & 1) )
         {
-            Abc_FrameSetNFrames( f );
+            Abc_FrameSetCex( NULL );
+            Abc_FrameSetNFrames( f+1 );
+            Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status vta.status" );
             Gia_VtaDumpAbsracted( p, pPars->fVerbose );
         }
         // check if the number of objects is below limit