diff --git a/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt b/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt
index de2fa680f9..4098e4f2a3 100644
--- a/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt
+++ b/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt
@@ -95,7 +95,7 @@ open class UPathConstraints<Type>(
     }
 
     @Suppress("UNCHECKED_CAST")
-    operator fun plusAssign(constraint: UBoolExpr): Unit =
+    open operator fun plusAssign(constraint: UBoolExpr): Unit =
         with(constraint.uctx) {
             when {
                 constraint == falseExpr -> contradiction(this)