diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
index 2040aef7e1..8cdd48127b 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
@@ -1113,7 +1113,9 @@ fun complexPortfolio25(
   var inProcessStm = getStm(mainTrait, true)
   var notInProcessStm = getStm(mainTrait, false)
 
-  if (parseContext.multiThreading) {
+  if (
+    parseContext.multiThreading && baseConfig.inputConfig.property == ErrorDetection.ERROR_LOCATION
+  ) {
     val inProcOc = ConfigNode("OC", ocConfig(true), checker)
     val notInProcOc = ConfigNode("OC", ocConfig(false), checker)
     val inProcessCegar = HierarchicalNode("InProcessCegar", inProcessStm)