fix: memory leak in bidirectional

Author: metametamoon

lib/Core/Executor.cpp

@@ -5391,6 +5391,7 @@ void Executor::run(ExecutionState *initialState,
   } else if (ExecutionMode == ExecutionKind::Bidirectional) {
     InitializerPredicate *predicate = new TraceVerifyPredicate(
         data.specialPoints, *codeGraphInfo.get(), InitializeInJoinBlocks);
+    // object manager assumes ownership over predicate
     objectManager->setPredicate(predicate);
     auto initializer = createIsolatedStatesInitializer(predicate, data);
     isolatedStatesInitializer = initializer.get();

lib/Core/ObjectManager.h

@@ -116,7 +116,7 @@ class ObjectManager {
   std::vector<Subscriber *> subscribers;
   PForest *processForest;
 
-  InitializerPredicate *predicate;
+  std::unique_ptr<InitializerPredicate> predicate;
 
 public:
   ExecutionState *emptyState;
@@ -164,7 +164,7 @@ class ObjectManager {
   }
 
   void setPredicate(InitializerPredicate *predicate_) {
-    predicate = predicate_;
+    predicate = std::unique_ptr<InitializerPredicate>(predicate_);
   }
 };