Index: generic/nsf.c
===================================================================
diff -u -r8e079b542dd68c7975117266efba2b4701909ce9 -r90559741eea6829e9bf09560d136759813b0dbdd
--- generic/nsf.c	(.../nsf.c)	(revision 8e079b542dd68c7975117266efba2b4701909ce9)
+++ generic/nsf.c	(.../nsf.c)	(revision 90559741eea6829e9bf09560d136759813b0dbdd)
@@ -16357,7 +16357,7 @@
   Tcl_PopCallFrame(interp);
 
 #if defined(NSF_WITH_ASSERTIONS)
-  if (result == TCL_OK && (precondition || postcondition)) {
+  if (result == TCL_OK && aStore != NULL /* (precondition || postcondition)*/) {
     AssertionAddProc(interp, methodName, aStore, precondition, postcondition);
   }
 #endif