Ignore "deadlock" label when loading from explicit files into symbolic engines (consistent with recent update to explicit engine import).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11809 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/ExplicitFiles2MTBDD.java

@@ -297,7 +297,7 @@ public class ExplicitFiles2MTBDD
 		// find any deadlocks
 		model.findDeadlocks(prism.getFixDeadlocks());
 
-		// attach labels (might overwrite deadlock state information)
+		// attach labels
 		attachLabels(model);
 
 		// deref spare dds
@@ -735,6 +735,10 @@ public class ExplicitFiles2MTBDD
 				// handled in buildInit()
 				continue;
 			}
+			if (e.equals("deadlock")) {
+				// ignored (info is recomputed)
+				continue;
+			}
 			model.addLabelDD(e.getKey(), e.getValue().copy());
 		}
 	}