diff --git a/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java b/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java
index b76ad0cc..baff391c 100644
--- a/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java
+++ b/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java
@@ -72,6 +72,10 @@ public class GetAllUndefinedConstantsRecursively extends ASTTraverse
 	
 	public void visitPost(ExpressionLabel e) throws PrismLangException
 	{
+		// Ignore special cases of labels (no constants there)
+		if (e.getName().equals("deadlock") || e.getName().equals("init")) {
+			return;
+		}
 		// Look up this label in the label list
 		int i = labelList.getLabelIndex(e.getName());
 		if (i == -1)