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