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