Removed unused and misleading init flag from CoreSMTSolver

Author: Tomaqa

src/smtsolvers/CoreSMTSolver.cc

@@ -69,7 +69,6 @@ CoreSMTSolver::CoreSMTSolver(SMTConfig & c, THandler& t )
     : config           (c)
     , theory_handler   (t)
     , verbosity        (c.verbosity())
-    , init             (false)
     , stop             (false)
     // Parameters: (formerly in 'SearchParams')
     , var_decay        (c.sat_var_decay())
@@ -147,8 +146,6 @@ CoreSMTSolver::initialize()
     if (config.produce_proof() && !resolutionProof) {
         resolutionProof = std::make_unique<ResolutionProof>(this->ca);
     }
-
-    init = true;
 }
 
 CoreSMTSolver::~CoreSMTSolver()

src/smtsolvers/CoreSMTSolver.h

@@ -80,7 +80,6 @@ class CoreSMTSolver
     SMTConfig & config;         // Stores Config
     THandler  & theory_handler; // Handles theory
     bool      verbosity;
-    bool      init;
     enum class ConsistencyAction { BacktrackToZero, ReturnUndef, SkipToSearchBegin, NoOp };
     int search_counter;
 public: