diff --git a/booster/library/Booster/Pattern/Rewrite.hs b/booster/library/Booster/Pattern/Rewrite.hs
index 0aca2bc7bf..e2514d42bc 100644
--- a/booster/library/Booster/Pattern/Rewrite.hs
+++ b/booster/library/Booster/Pattern/Rewrite.hs
@@ -530,7 +530,7 @@ applyRule pat@Pattern{ceilConditions} rule =
         solver <- lift $ RewriteT $ (.smtSolver) <$> ask
         SMT.checkPredicates solver pat.constraints pat.substitution (Set.fromList stillUnclear) >>= \case
             SMT.IsUnknown reason -> do
-                withContext CtxAbort $ logMessage reason
+                withContext CtxWarn $ logMessage reason
                 -- return unclear rewrite rule condition if the condition is indeterminate
                 withContext CtxConstraint . withContext CtxWarn . logMessage $
                     WithJsonMessage (object ["conditions" .= (externaliseTerm . coerce <$> stillUnclear)]) $
diff --git a/booster/test/rpc-integration/test-a-to-f/response-branching.kore-rpc-dev b/booster/test/rpc-integration/test-a-to-f/response-branching.kore-rpc-dev
new file mode 100644
index 0000000000..0d2f7baef6
--- /dev/null
+++ b/booster/test/rpc-integration/test-a-to-f/response-branching.kore-rpc-dev
@@ -0,0 +1,400 @@
+{
+    "jsonrpc": "2.0",
+    "id": 1,
+    "result": {
+        "reason": "branching",
+        "depth": 0,
+        "state": {
+            "term": {
+                "format": "KORE",
+                "version": 1,
+                "term": {
+                    "tag": "App",
+                    "name": "Lbl'-LT-'generatedTop'-GT-'",
+                    "sorts": [],
+                    "args": [
+                        {
+                            "tag": "App",
+                            "name": "Lbl'-LT-'k'-GT-'",
+                            "sorts": [],
+                            "args": [
+                                {
+                                    "tag": "App",
+                                    "name": "kseq",
+                                    "sorts": [],
+                                    "args": [
+                                        {
+                                            "tag": "App",
+                                            "name": "inj",
+                                            "sorts": [
+                                                {
+                                                    "tag": "SortApp",
+                                                    "name": "SortState",
+                                                    "args": []
+                                                },
+                                                {
+                                                    "tag": "SortApp",
+                                                    "name": "SortKItem",
+                                                    "args": []
+                                                }
+                                            ],
+                                            "args": [
+                                                {
+                                                    "tag": "DV",
+                                                    "sort": {
+                                                        "tag": "SortApp",
+                                                        "name": "SortState",
+                                                        "args": []
+                                                    },
+                                                    "value": "a"
+                                                }
+                                            ]
+                                        },
+                                        {
+                                            "tag": "App",
+                                            "name": "dotk",
+                                            "sorts": [],
+                                            "args": []
+                                        }
+                                    ]
+                                }
+                            ]
+                        },
+                        {
+                            "tag": "App",
+                            "name": "Lbl'-LT-'generatedCounter'-GT-'",
+                            "sorts": [],
+                            "args": [
+                                {
+                                    "tag": "DV",
+                                    "sort": {
+                                        "tag": "SortApp",
+                                        "name": "SortInt",
+                                        "args": []
+                                    },
+                                    "value": "0"
+                                }
+                            ]
+                        }
+                    ]
+                }
+            }
+        },
+        "next-states": [
+            {
+                "term": {
+                    "format": "KORE",
+                    "version": 1,
+                    "term": {
+                        "tag": "App",
+                        "name": "Lbl'-LT-'generatedTop'-GT-'",
+                        "sorts": [],
+                        "args": [
+                            {
+                                "tag": "App",
+                                "name": "Lbl'-LT-'k'-GT-'",
+                                "sorts": [],
+                                "args": [
+                                    {
+                                        "tag": "App",
+                                        "name": "kseq",
+                                        "sorts": [],
+                                        "args": [
+                                            {
+                                                "tag": "App",
+                                                "name": "inj",
+                                                "sorts": [
+                                                    {
+                                                        "tag": "SortApp",
+                                                        "name": "SortState",
+                                                        "args": []
+                                                    },
+                                                    {
+                                                        "tag": "SortApp",
+                                                        "name": "SortKItem",
+                                                        "args": []
+                                                    }
+                                                ],
+                                                "args": [
+                                                    {
+                                                        "tag": "DV",
+                                                        "sort": {
+                                                            "tag": "SortApp",
+                                                            "name": "SortState",
+                                                            "args": []
+                                                        },
+                                                        "value": "c"
+                                                    }
+                                                ]
+                                            },
+                                            {
+                                                "tag": "App",
+                                                "name": "dotk",
+                                                "sorts": [],
+                                                "args": []
+                                            }
+                                        ]
+                                    }
+                                ]
+                            },
+                            {
+                                "tag": "App",
+                                "name": "Lbl'-LT-'generatedCounter'-GT-'",
+                                "sorts": [],
+                                "args": [
+                                    {
+                                        "tag": "DV",
+                                        "sort": {
+                                            "tag": "SortApp",
+                                            "name": "SortInt",
+                                            "args": []
+                                        },
+                                        "value": "0"
+                                    }
+                                ]
+                            }
+                        ]
+                    }
+                },
+                "rule-id": "3cfae148c63f879628626da1753b07d517f6ac9b414543f7dd8f7b3e8e19329e",
+                "rule-substitution": {
+                    "format": "KORE",
+                    "version": 1,
+                    "term": {
+                        "tag": "And",
+                        "sort": {
+                            "tag": "SortApp",
+                            "name": "SortGeneratedTopCell",
+                            "args": []
+                        },
+                        "patterns": [
+                            {
+                                "tag": "Equals",
+                                "argSort": {
+                                    "tag": "SortApp",
+                                    "name": "SortGeneratedCounterCell",
+                                    "args": []
+                                },
+                                "sort": {
+                                    "tag": "SortApp",
+                                    "name": "SortGeneratedTopCell",
+                                    "args": []
+                                },
+                                "first": {
+                                    "tag": "EVar",
+                                    "name": "RuleVar'Unds'DotVar0",
+                                    "sort": {
+                                        "tag": "SortApp",
+                                        "name": "SortGeneratedCounterCell",
+                                        "args": []
+                                    }
+                                },
+                                "second": {
+                                    "tag": "App",
+                                    "name": "Lbl'-LT-'generatedCounter'-GT-'",
+                                    "sorts": [],
+                                    "args": [
+                                        {
+                                            "tag": "DV",
+                                            "sort": {
+                                                "tag": "SortApp",
+                                                "name": "SortInt",
+                                                "args": []
+                                            },
+                                            "value": "0"
+                                        }
+                                    ]
+                                }
+                            },
+                            {
+                                "tag": "Equals",
+                                "argSort": {
+                                    "tag": "SortApp",
+                                    "name": "SortK",
+                                    "args": []
+                                },
+                                "sort": {
+                                    "tag": "SortApp",
+                                    "name": "SortGeneratedTopCell",
+                                    "args": []
+                                },
+                                "first": {
+                                    "tag": "EVar",
+                                    "name": "RuleVar'Unds'DotVar1",
+                                    "sort": {
+                                        "tag": "SortApp",
+                                        "name": "SortK",
+                                        "args": []
+                                    }
+                                },
+                                "second": {
+                                    "tag": "App",
+                                    "name": "dotk",
+                                    "sorts": [],
+                                    "args": []
+                                }
+                            }
+                        ]
+                    }
+                }
+            },
+            {
+                "term": {
+                    "format": "KORE",
+                    "version": 1,
+                    "term": {
+                        "tag": "App",
+                        "name": "Lbl'-LT-'generatedTop'-GT-'",
+                        "sorts": [],
+                        "args": [
+                            {
+                                "tag": "App",
+                                "name": "Lbl'-LT-'k'-GT-'",
+                                "sorts": [],
+                                "args": [
+                                    {
+                                        "tag": "App",
+                                        "name": "kseq",
+                                        "sorts": [],
+                                        "args": [
+                                            {
+                                                "tag": "App",
+                                                "name": "inj",
+                                                "sorts": [
+                                                    {
+                                                        "tag": "SortApp",
+                                                        "name": "SortState",
+                                                        "args": []
+                                                    },
+                                                    {
+                                                        "tag": "SortApp",
+                                                        "name": "SortKItem",
+                                                        "args": []
+                                                    }
+                                                ],
+                                                "args": [
+                                                    {
+                                                        "tag": "DV",
+                                                        "sort": {
+                                                            "tag": "SortApp",
+                                                            "name": "SortState",
+                                                            "args": []
+                                                        },
+                                                        "value": "b"
+                                                    }
+                                                ]
+                                            },
+                                            {
+                                                "tag": "App",
+                                                "name": "dotk",
+                                                "sorts": [],
+                                                "args": []
+                                            }
+                                        ]
+                                    }
+                                ]
+                            },
+                            {
+                                "tag": "App",
+                                "name": "Lbl'-LT-'generatedCounter'-GT-'",
+                                "sorts": [],
+                                "args": [
+                                    {
+                                        "tag": "DV",
+                                        "sort": {
+                                            "tag": "SortApp",
+                                            "name": "SortInt",
+                                            "args": []
+                                        },
+                                        "value": "0"
+                                    }
+                                ]
+                            }
+                        ]
+                    }
+                },
+                "rule-id": "aba8479fef763c749fa1a1837f2591f85d8541ca8837c738cf586de790c6f8b8",
+                "rule-substitution": {
+                    "format": "KORE",
+                    "version": 1,
+                    "term": {
+                        "tag": "And",
+                        "sort": {
+                            "tag": "SortApp",
+                            "name": "SortGeneratedTopCell",
+                            "args": []
+                        },
+                        "patterns": [
+                            {
+                                "tag": "Equals",
+                                "argSort": {
+                                    "tag": "SortApp",
+                                    "name": "SortGeneratedCounterCell",
+                                    "args": []
+                                },
+                                "sort": {
+                                    "tag": "SortApp",
+                                    "name": "SortGeneratedTopCell",
+                                    "args": []
+                                },
+                                "first": {
+                                    "tag": "EVar",
+                                    "name": "RuleVar'Unds'DotVar0",
+                                    "sort": {
+                                        "tag": "SortApp",
+                                        "name": "SortGeneratedCounterCell",
+                                        "args": []
+                                    }
+                                },
+                                "second": {
+                                    "tag": "App",
+                                    "name": "Lbl'-LT-'generatedCounter'-GT-'",
+                                    "sorts": [],
+                                    "args": [
+                                        {
+                                            "tag": "DV",
+                                            "sort": {
+                                                "tag": "SortApp",
+                                                "name": "SortInt",
+                                                "args": []
+                                            },
+                                            "value": "0"
+                                        }
+                                    ]
+                                }
+                            },
+                            {
+                                "tag": "Equals",
+                                "argSort": {
+                                    "tag": "SortApp",
+                                    "name": "SortK",
+                                    "args": []
+                                },
+                                "sort": {
+                                    "tag": "SortApp",
+                                    "name": "SortGeneratedTopCell",
+                                    "args": []
+                                },
+                                "first": {
+                                    "tag": "EVar",
+                                    "name": "RuleVar'Unds'DotVar1",
+                                    "sort": {
+                                        "tag": "SortApp",
+                                        "name": "SortK",
+                                        "args": []
+                                    }
+                                },
+                                "second": {
+                                    "tag": "App",
+                                    "name": "dotk",
+                                    "sorts": [],
+                                    "args": []
+                                }
+                            }
+                        ]
+                    }
+                }
+            }
+        ]
+    }
+}
\ No newline at end of file