diff --git a/acsl-parser/Makefile b/acsl-parser/Makefile
index 78fb424..99dacf6 100644
--- a/acsl-parser/Makefile
+++ b/acsl-parser/Makefile
@@ -27,7 +27,7 @@ all: download-jars acsl-parser.jar tricera/acsl/Test.class
 
 include $(PARSER_BASEDIR)/../cc-parser/download_jars.mk
 
-acsl-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/acsl/Absyn/acsl.class $(PARSER_BINDIR)/tricera/acsl/sym.class $(PARSER_BINDIR)/tricera/acsl/Yylex.class $(PARSER_BINDIR)/tricera/acsl/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/acsl/parser.class
+acsl-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/acsl/Absyn/acsl.class $(PARSER_BINDIR)/tricera/acsl/sym.class $(PARSER_BINDIR)/tricera/acsl/Yylex.class $(PARSER_BINDIR)/tricera/acsl/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/acsl/parser.class $(PARSER_BINDIR)/tricera/acsl/AllVisitor.class $(PARSER_BINDIR)/tricera/acsl/AbstractVisitor.class $(PARSER_BINDIR)/tricera/acsl/ComposVisitor.class $(PARSER_BINDIR)/tricera/acsl/FoldVisitor.class
 	cd $(PARSER_BINDIR) && jar cf $(PARSER_BASEDIR)/acsl-parser.jar tricera
 
 $(PARSER_BINDIR):
@@ -70,6 +70,18 @@ $(PARSER_BINDIR)/tricera/acsl/Yylex.class: tricera/acsl/Yylex.java tricera/acsl/
 $(PARSER_BINDIR)/tricera/acsl/sym.class: tricera/acsl/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/sym.java
 
+$(PARSER_BINDIR)/tricera/acsl/AllVisitor.class: tricera/acsl/AllVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/AllVisitor.java
+
+$(PARSER_BINDIR)/tricera/acsl/AbstractVisitor.class: tricera/acsl/AbstractVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/AbstractVisitor.java
+
+$(PARSER_BINDIR)/tricera/acsl/ComposVisitor.class: tricera/acsl/ComposVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/ComposVisitor.java
+
+$(PARSER_BINDIR)/tricera/acsl/FoldVisitor.class: tricera/acsl/FoldVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/FoldVisitor.java
+
 $(PARSER_BINDIR)/tricera/acsl/parser.class: tricera/acsl/parser.java tricera/acsl/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/acsl/parser.java
 
diff --git a/acsl-parser/acsl-parser.jar b/acsl-parser/acsl-parser.jar
index f2c8bd7..f855e7b 100644
Binary files a/acsl-parser/acsl-parser.jar and b/acsl-parser/acsl-parser.jar differ
diff --git a/cc-parser/Makefile b/cc-parser/Makefile
index 18ebca8..ab53993 100644
--- a/cc-parser/Makefile
+++ b/cc-parser/Makefile
@@ -27,7 +27,7 @@ all: download-jars cc-parser.jar tricera/concurrency/concurrent_c/Test.class
 
 include $(PARSER_BASEDIR)/download_jars.mk
 
-cc-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Absyn/concurrent_c.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/sym.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Yylex.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/parser.class
+cc-parser.jar: $(PARSER_BINDIR) $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Absyn/concurrent_c.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/sym.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Yylex.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/PrettyPrinterNonStatic.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/parser.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AllVisitor.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AbstractVisitor.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/ComposVisitor.class $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/FoldVisitor.class
 	cd $(PARSER_BINDIR) && jar cf $(PARSER_BASEDIR)/cc-parser.jar tricera
 
 
@@ -71,6 +71,18 @@ $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/Yylex.class: tricera/concurren
 $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/sym.class: tricera/concurrency/concurrent_c/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/sym.java
 
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AllVisitor.class: tricera/concurrency/concurrent_c/AllVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/AllVisitor.java
+
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/AbstractVisitor.class: tricera/concurrency/concurrent_c/AbstractVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/AbstractVisitor.java
+
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/ComposVisitor.class: tricera/concurrency/concurrent_c/ComposVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/ComposVisitor.java
+
+$(PARSER_BINDIR)/tricera/concurrency/concurrent_c/FoldVisitor.class: tricera/concurrency/concurrent_c/FoldVisitor.java
+	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/FoldVisitor.java
+
 $(PARSER_BINDIR)/tricera/concurrency/concurrent_c/parser.class: tricera/concurrency/concurrent_c/parser.java tricera/concurrency/concurrent_c/sym.java
 	${JAVAC} ${JAVAC_FLAGS} -d $(PARSER_BINDIR) tricera/concurrency/concurrent_c/parser.java
 
diff --git a/cc-parser/cc-parser.jar b/cc-parser/cc-parser.jar
index fdd6d84..3ccd7ff 100644
Binary files a/cc-parser/cc-parser.jar and b/cc-parser/cc-parser.jar differ