Match now annotates error states in the reachability graph

models/matches.mvc

@@ -6,7 +6,7 @@ A B {
     Composite schedule {
         {Contains} Failure failure {}
         {Contains} Success success {}
-        {Contains} Query match {
+        {Contains} ForAll match {
             LHS {
                 Pre_Query/Place {
                     label = "2"
@@ -14,6 +14,12 @@ A B {
                 Pre_ReachabilityGraph/Place pre_3 {
                     label = "3"
                 }
+                Pre_ReachabilityGraph/State pre_4 {
+                    label = "4"
+                }
+                Pre_ReachabilityGraph/Contains (pre_4, pre_3) {
+                    label = "5"
+                }
 
                 constraint = $
                     Boolean function constraint(host_model : Element, mapping : Element):
@@ -24,6 +30,24 @@ A B {
                         return bool_and(names_match, tokens_match)!
                     $
             }
+            RHS {
+                Post_Query/Place {
+                    label = "2"
+                }
+                Post_ReachabilityGraph/Place post_3{
+                    label = "3"
+                }
+                Post_ReachabilityGraph/State post_4{
+                    label = "4"
+                    value_error = $
+                        Boolean function value (model : Element, name : String, mapping : Element):
+                            return True!
+                        $
+                }
+                Post_ReachabilityGraph/Contains (post_4, post_3){
+                    label = "5"
+                }
+            }
         }
     }
     Initial (schedule, match) {}