Index: src/vtab.c
==================================================================
--- src/vtab.c
+++ src/vtab.c
@@ -983,11 +983,12 @@
             break;
           default:
             xMethod = pMod->xRelease;
             break;
         }
-        if( xMethod && pVTab->iSavepoint>iSavepoint ){
+        assert( pVTab->iSavepoint > iSavepoint );
+        if( xMethod ){
           rc = xMethod(pVTab->pVtab, iSavepoint);
         }
       }
     }
   }