diff --git a/src/kernel_internals/typing/cfg.ml b/src/kernel_internals/typing/cfg.ml
index d9cb57f9193b322f97e4f69dbc54ca15714123a6..d0e7b4da779fb0548edf2fe50b0306a557970e7f 100644
--- a/src/kernel_internals/typing/cfg.ml
+++ b/src/kernel_internals/typing/cfg.ml
@@ -307,6 +307,13 @@ let forallStmts todo (fd : fundec) =
   let vis = object
     inherit nopCilVisitor
     method! vstmt stmt = ignore (todo stmt); DoChildren
+    method! vinst _ = SkipChildren
+    method! vexpr _ = SkipChildren
+    method! vlval _ = SkipChildren
+    method! vtype _ = SkipChildren
+    method! vspec _ = SkipChildren
+    method! vcode_annot _ = SkipChildren
+    method! vattr _ = SkipChildren
   end
   in
   ignore (visitCilFunction vis fd)
@@ -744,6 +751,7 @@ class registerLabelsVisitor : cilVisitor = object
   method! vexpr _ = SkipChildren
   method! vtype _ = SkipChildren
   method! vinst _ = SkipChildren
+  method! vspec _ = SkipChildren
   method! vcode_annot _ = SkipChildren (* via Loop stmt *)
   method! vlval _ = SkipChildren (* via UnspecifiedSequence stmt *)
   method! vattr _ = SkipChildren (* via block stmt *)