refactor: supress gc messages

src/main.cpp

@@ -197,6 +197,9 @@ void ComputeAbstractPaths(const string& net_file, int bound,
   // See https://buddy.sourceforge.net/manual/group__kernel.html
   bdd_init(BDD_INITIAL_NUM_NODES_, BDD_SIZE_CACHES);
 
+  // Suppress GC messages
+  bdd_gbc_hook(nullptr);
+
   auto start_time = GetTime();
 
   // if a path with transitions is not given, then we apply the algorithm to