diff --git a/src/main/java/de/tla2b/analysis/SpecAnalyser.java b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
index 7ad8da159a086cc3ed646258883b581e527b0528..027d745d42776cda8b69d8e02389befaa0fcae59 100644
--- a/src/main/java/de/tla2b/analysis/SpecAnalyser.java
+++ b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
@@ -98,6 +98,8 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
 		
 		if (definitions.containsKey("Spec")) {
 			specAnalyser.spec = definitions.get("Spec");
+		} else if (definitions.containsKey("SPECIFICATION")) {
+			specAnalyser.spec = definitions.get("SPECIFICATION");
 		} else if (definitions.containsKey("SPEC")) {
 			specAnalyser.spec = definitions.get("SPEC");
 		}
@@ -118,6 +120,10 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
 		
 		if (definitions.containsKey("Inv")) {
 			specAnalyser.invariants.add(definitions.get("Inv"));
+		} else if (definitions.containsKey("INVARIANTS")) {
+			specAnalyser.invariants.add(definitions.get("INVARIANTS"));
+		} else if (definitions.containsKey("INVARIANT")) {
+			specAnalyser.invariants.add(definitions.get("INVARIANT"));
 		} else if (definitions.containsKey("INV")) {
 			specAnalyser.invariants.add(definitions.get("INV"));
 		} else if (definitions.containsKey("Invariant")) {