diff --git a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java b/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java
index 0f7474f283..9a9f321d19 100644
--- a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java
+++ b/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java
@@ -560,7 +560,12 @@ public Object startNoEx(IApplicationContext context) throws Exception {
 
 		// Now load properties from examination
 		reader.loadProperties(examination);
-
+		if (reader.getHLPN() != null) {
+			reader.getHLPN().testAliasing(doneProps);
+		} else if (reader.getSPN() != null){
+			reader.getSPN().testAliasing(doneProps);
+		}
+		
 //		if (redForExamination != null) {
 //			if ("StateSpace".equals(examination) || "Liveness".equals(examination) || "QuasiLiveness".equals(examination) || "StableMarking".equals(examination))
 //				reader.createSPN(false, false);