diff --git a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java
index 86ba474f3b66da398691eb513dc5f9af62a77123..c0068cbe14ab4808d1d1f31eeb410c0e563bd6b0 100644
--- a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java
+++ b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/KeYMatcher.java
@@ -112,11 +112,14 @@ public class KeYMatcher implements MatcherApi<KeyData> {
         resultsFromLabelMatch = new ArrayList<>();
         //compile pattern
         String cleanLabel = label.replaceAll(" ", "");
-        Pattern regexpForLabel = Pattern.compile(cleanLabel);
+        String cleanLabel2 = cleanLabel.replaceAll("\\(", "\\\\(");
+        cleanLabel = cleanLabel2.replaceAll("\\)", "\\\\)");
 
 
         String branchLabel = currentState.getData().getBranchingLabel();
         String cleanBranchLabel = branchLabel.replaceAll(" ", "");
+
+        Pattern regexpForLabel = Pattern.compile(cleanLabel);
         Matcher branchLabelMatcher = regexpForLabel.matcher(cleanBranchLabel);