diff --git a/src/test/java/de/tla2b/util/Ast2String.java b/src/test/java/de/tla2b/util/Ast2String.java
deleted file mode 100644
index 1aa95825c739506d23b8d1fc7b887a61a26e5ea1..0000000000000000000000000000000000000000
--- a/src/test/java/de/tla2b/util/Ast2String.java
+++ /dev/null
@@ -1,66 +0,0 @@
-package de.tla2b.util;
-
-import de.be4.classicalb.core.parser.node.Node;
-import de.be4.classicalb.core.parser.node.Start;
-import de.be4.classicalb.core.parser.node.Token;
-
-public class Ast2String extends ExtendedDFAdapter {
-	private final StringBuilder builder = new StringBuilder();
-
-	@Override
-	public String toString() {
-		return builder.toString();
-	}
-
-	@Override
-	public void defaultIn(final Node node) {
-		super.defaultIn(node);
-		builder.append(node.getClass().getSimpleName());
-		builder.append("(");
-	}
-
-	@Override
-	public void defaultCase(final Node node) {
-		super.defaultCase(node);
-		if (node instanceof Token) {
-			builder.append(((Token) node).getText());
-		} else {
-			builder.append(node.toString());
-		}
-
-	}
-
-	@Override
-	public void defaultOut(final Node node) {
-		super.defaultOut(node);
-		builder.append(")");
-	}
-
-	@Override
-	public void beginList(final Node parent) {
-		builder.append('[');
-	}
-
-	@Override
-	public void betweenListElements(final Node parent) {
-		builder.append(',');
-	}
-
-	@Override
-	public void endList(final Node parent) {
-		builder.append(']');
-	}
-
-	@Override
-	public void betweenChildren(final Node parent) {
-		builder.append(',');
-	}
-
-	@Override
-	public void caseStart(final Start node) {
-		inStart(node);
-		node.getPParseUnit().apply(this);
-		node.getEOF().apply(this);
-		outStart(node);
-	}
-}
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index 66b88253eefbe293119db96ca6be306a1ba1d06c..02f975576b759cbe949e1fc9c8ab07d71c0c6364 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -1,19 +1,22 @@
 package de.tla2b.util;
 
-import static org.junit.Assert.*;
-
-import util.FileUtil;
 import de.be4.classicalb.core.parser.BParser;
+import de.be4.classicalb.core.parser.analysis.prolog.ASTProlog;
 import de.be4.classicalb.core.parser.exceptions.BCompoundException;
 import de.be4.classicalb.core.parser.node.Node;
 import de.be4.classicalb.core.parser.node.Start;
+import de.prob.prolog.output.PrologTermStringOutput;
 import de.tla2b.exceptions.FrontEndException;
 import de.tla2b.exceptions.TLA2BException;
 import de.tla2b.output.ASTPrettyPrinter;
 import de.tla2b.output.Renamer;
 import de.tla2bAst.Translator;
+
+import util.FileUtil;
 import util.ToolIO;
 
+import static org.junit.Assert.assertEquals;
+
 public class TestUtil {
 
 	public static void loadTlaFile(String tlaFile) throws Exception {
@@ -84,9 +87,9 @@ public class TestUtil {
 	}
 
 	public static String getTreeAsString(Node node) {
-		final Ast2String ast2String = new Ast2String();
-		node.apply(ast2String);
-		return ast2String.toString();
+		final PrologTermStringOutput pout = new PrologTermStringOutput();
+		node.apply(new ASTProlog(pout, null));
+		return pout.toString();
 	}
 
 	public static void renamerTest(String tlaFile) throws Exception {
@@ -129,21 +132,13 @@ public class TestUtil {
 	public static String getAstStringofBMachineString(final String testMachine) throws BCompoundException {
 		final BParser parser = new BParser("testcase");
 		final Start startNode = parser.parse(testMachine, false);
-
-		final Ast2String ast2String = new Ast2String();
-		startNode.apply(ast2String);
-		final String string = ast2String.toString();
-		return string;
+		return getTreeAsString(startNode);
 	}
 
 	public static String getAstStringofBExpressionString(final String expr) throws BCompoundException {
 		final BParser parser = new BParser("testcase");
 		final Start startNode = parser.parse("#FORMULA " + expr, false);
-
-		final Ast2String ast2String = new Ast2String();
-		startNode.apply(ast2String);
-		final String string = ast2String.toString();
-		return string;
+		return getTreeAsString(startNode);
 	}
 
 }