diff --git a/VSharp.Explorer/AISearcher.fs b/VSharp.Explorer/AISearcher.fs
index 458b6b2c3..03bd5f52a 100644
--- a/VSharp.Explorer/AISearcher.fs
+++ b/VSharp.Explorer/AISearcher.fs
@@ -213,7 +213,7 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingMode: Option<AIAgentTrai
         ) =
         let numOfVertexAttributes = 7
         let numOfStateAttributes = 6
-        let numOfPathConditionVertexAttributes = 49
+        let numOfPathConditionVertexAttributes = 48
         let numOfHistoryEdgeAttributes = 2