approach is only ok for "normal" PT One-Safe definition.

yanntm · yanntm · commit 54641fe271f4 · 2021-03-24T17:08:54.000+01:00
NB: most colored models are dealt with immediately anyway with FALSE answer.
diff --git a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/GlobalPropertySolver.java b/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/GlobalPropertySolver.java
@@ -172,7 +172,7 @@ public boolean solveProperty(String examination, MccTranslator reader) {
 			return true;
 		}
 		
-		if (ONE_SAFE.equals(examination)) {
+		if (ONE_SAFE.equals(examination) && reader.getHLPN() == null) {
 			List<Expression> toCheck = new ArrayList<>(spn.getPlaceCount());
 			List<Integer> maxStruct = new ArrayList<>(spn.getPlaceCount());
 			List<Integer> maxSeen = new ArrayList<>(spn.getPlaceCount());

Original file line number	Diff line number	Diff line change
`@@ -172,7 +172,7 @@ public boolean solveProperty(String examination, MccTranslator reader) {`
`172`	`172`	`return true;`
`173`	`173`	`}`
`174`	`174`
`175`		`- if (ONE_SAFE.equals(examination)) {`
	`175`	`+ if (ONE_SAFE.equals(examination) && reader.getHLPN() == null) {`
`176`	`176`	`List<Expression> toCheck = new ArrayList<>(spn.getPlaceCount());`
`177`	`177`	`List<Integer> maxStruct = new ArrayList<>(spn.getPlaceCount());`
`178`	`178`	`List<Integer> maxSeen = new ArrayList<>(spn.getPlaceCount());`