Index: src/InitTweak/GenInit.cc
===================================================================
--- src/InitTweak/GenInit.cc	(revision 64fc0bafc25144f94bd5bbd4794fdbef138cdd9f)
+++ src/InitTweak/GenInit.cc	(revision e883a4bbcd0872d59398848660b8820e3cc69063)
@@ -315,5 +315,5 @@
 		for ( auto & tyDecl : functionDecl->get_functionType()->get_forall() ) {
 			for ( DeclarationWithType *& assertion : tyDecl->get_assertions() ) {
-				assertion = assertion->acceptMutator( *this );
+				handleDWT( assertion );
 			}
 		}