Separate kore-rpc-dev and kore-rpc-booster responses for test-diamond

Author: geo2a

booster/test/rpc-integration/test-diamond/response-infeasible-branching.json

@@ -67,13 +67,13 @@
                             "sorts": [],
                             "args": [
                                 {
-                                    "tag": "DV",
+                                    "tag": "EVar",
+                                    "name": "X",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortInt",
                                         "args": []
-                                    },
-                                    "value": "42"
+                                    }
                                 }
                             ]
                         },
@@ -96,14 +96,14 @@
                     ]
                 }
             },
-            "substitution": {
+            "predicate": {
                 "format": "KORE",
                 "version": 1,
                 "term": {
                     "tag": "Equals",
                     "argSort": {
                         "tag": "SortApp",
-                        "name": "SortInt",
+                        "name": "SortBool",
                         "args": []
                     },
                     "sort": {
@@ -112,25 +112,41 @@
                         "args": []
                     },
                     "first": {
-                        "tag": "EVar",
-                        "name": "X",
-                        "sort": {
-                            "tag": "SortApp",
-                            "name": "SortInt",
-                            "args": []
-                        }
-                    },
-                    "second": {
                         "tag": "DV",
                         "sort": {
                             "tag": "SortApp",
-                            "name": "SortInt",
+                            "name": "SortBool",
                             "args": []
                         },
-                        "value": "42"
+                        "value": "true"
+                    },
+                    "second": {
+                        "tag": "App",
+                        "name": "Lbl'UndsEqlsEqls'Int'Unds'",
+                        "sorts": [],
+                        "args": [
+                            {
+                                "tag": "EVar",
+                                "name": "X",
+                                "sort": {
+                                    "tag": "SortApp",
+                                    "name": "SortInt",
+                                    "args": []
+                                }
+                            },
+                            {
+                                "tag": "DV",
+                                "sort": {
+                                    "tag": "SortApp",
+                                    "name": "SortInt",
+                                    "args": []
+                                },
+                                "value": "42"
+                            }
+                        ]
                     }
                 }
             }
         }
     }
-}
+}