diff --git a/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats b/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats
index 265cab01d97..161df2560cc 100644
--- a/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats
+++ b/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats
@@ -116,23 +116,23 @@ NestedWordAutomaton access2Model = (
   callAlphabet = {},
   internalAlphabet = {"1request" "1assume2crit" "1release" "2request" "2assume1crit" "2release"},
   returnAlphabet = {},
-  states = {"2safe" "2crit" "false"},
+  states = {"2safe" "2critAccess" "false"},
   initialStates = {"2safe"},
   finalStates = {"false"},
   callTransitions = {},
   internalTransitions = {
 	("2safe" "1request" "2safe")
-	("2safe" "2request" "2crit")
+	("2safe" "2request" "2critAccess")
 	("2safe" "1release" "2safe")
 	("2safe" "2release" "2safe")
 	("2safe" "1assume2crit" "false")
 	("2safe" "2assume1crit" "2safe")
-	("2crit" "1request" "2crit")
-	("2crit" "2request" "2crit")
-	("2crit" "1release" "2crit")
-	("2crit" "2release" "2safe")
-	("2crit" "1assume2crit" "2crit")
-	("2crit" "2assume1crit" "2crit")
+	("2critAccess" "1request" "2critAccess")
+	("2critAccess" "2request" "2critAccess")
+	("2critAccess" "1release" "2critAccess")
+	("2critAccess" "2release" "2safe")
+	("2critAccess" "1assume2crit" "2critAccess")
+	("2critAccess" "2assume1crit" "2critAccess")
 	("false" "1request" "false")
 	("false" "2request" "false")
 	("false" "1release" "false")