diff --git a/src/main/java/de/tla2bAst/ExpressionTranslator.java b/src/main/java/de/tla2bAst/ExpressionTranslator.java
index 35f646096b5aa0b90f6ec53a590323e15416a417..934b3716fa647991bf02e648625edc557f508cce 100644
--- a/src/main/java/de/tla2bAst/ExpressionTranslator.java
+++ b/src/main/java/de/tla2bAst/ExpressionTranslator.java
@@ -156,6 +156,11 @@ public class ExpressionTranslator implements SyntaxTreeConstants {
 		return this.expressionStart;
 	}
 
+	@Deprecated
+	public Start translate() {
+		return this.translateWithoutModel();
+	}
+
 	public static ModuleNode parseModule(String moduleName, String module)
 		throws de.tla2b.exceptions.FrontEndException {
 		SpecObj spec = new SpecObj(moduleName, null);
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 187cfc6a05617eda1f778962c7f853b1c4f80ba0..5f09fde2f449676c200f8b968592a4680dc303a4 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -321,12 +321,22 @@ public class Translator implements TranslationGlobals {
 		return expressionTranslator.translateIncludingModel();
 	}
 
+	@Deprecated
+	public Start translateExpression(String tlaExpression) throws TLA2BException {
+		return this.translateExpressionIncludingModel(tlaExpression);
+	}
+
 	public static Start translateExpressionWithoutModel(String tlaExpression) {
 		ExpressionTranslator expressionTranslator = new ExpressionTranslator(tlaExpression);
 		expressionTranslator.parse();
 		return expressionTranslator.translateWithoutModel();
 	}
 
+	@Deprecated
+	public static Start translateTlaExpression(String tlaExpression) {
+		return translateExpressionWithoutModel(tlaExpression);
+	}
+
 	public Definitions getBDefinitions() {
 		return bDefinitions;
 	}