Index: src/AST/Util.cpp
===================================================================
--- src/AST/Util.cpp	(revision 446dde5900727894be24c5a5f936130d83c10584)
+++ src/AST/Util.cpp	(revision d03a386f1d6cd83b3e5eabdfdeb1a1a6903d70e6)
@@ -260,4 +260,5 @@
 			}
 		}
+		if ( ! type->assertions.empty() ) visit_children = false;
 	}