diff --git a/src/main/java/de/tla2b/analysis/SpecAnalyser.java b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
index 5e17ba396f27fc5f970cd3378c0d39b4311c1cc1..6d0450448756c82abbae15f8e4d56fe652ba8986 100644
--- a/src/main/java/de/tla2b/analysis/SpecAnalyser.java
+++ b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
@@ -104,6 +104,10 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
 		specAnalyser.next = definitions.get("Next");
 		if (definitions.containsKey("Inv")) {
 			specAnalyser.invariants.add(definitions.get("Inv"));
+		} else if (definitions.containsKey("Invariant")) {
+			specAnalyser.invariants.add(definitions.get("Invariant"));
+		} else if (definitions.containsKey("Invariants")) {
+			specAnalyser.invariants.add(definitions.get("Invariants"));
 		}
 		// TODO are constant in the right order