diff --git a/src/main/java/tmltranslator/TMLModeling.java b/src/main/java/tmltranslator/TMLModeling.java
index 4156c819c3c3a113c9edfc14bde80954f3863688..5f1ee08f75ff1b852e990c9eac1a5741954a1c86 100755
--- a/src/main/java/tmltranslator/TMLModeling.java
+++ b/src/main/java/tmltranslator/TMLModeling.java
@@ -823,14 +823,16 @@ public class TMLModeling<E> {
                     invalidate = true;
                 }
                 for (TMLPortWithSecurityInformation port : channel.ports) {
-                    if (port.getCheckConf() && !invalidate) {
-                        port.setConfStatus(r);
+                    if (port.getCheckConf()) {
                         port.setMappingName(mappingName);
-                        //Add Result Trace also
-                        ProVerifResultTrace trace = pvoa.getResults().get(pragma).getTrace();
-                        if (trace != null && port.isOrigin()) {
-                            port.setResultTrace(trace);
-                            port.setPragmaString(pragma.toString());
+                        if (!invalidate) {
+                            port.setConfStatus(r);
+                            //Add Result Trace also
+                            ProVerifResultTrace trace = pvoa.getResults().get(pragma).getTrace();
+                            if (trace != null && port.isOrigin()) {
+                                port.setResultTrace(trace);
+                                port.setPragmaString(pragma.toString());
+                            }
                         }
                     }
                 }