diff --git a/packages/CLPBN/horus/BeliefProp.cpp b/packages/CLPBN/horus/BeliefProp.cpp
index a5129fa49..f07a0feef 100644
--- a/packages/CLPBN/horus/BeliefProp.cpp
+++ b/packages/CLPBN/horus/BeliefProp.cpp
@@ -66,9 +66,9 @@ MsgSchedule BeliefProp::schedule_ = MsgSchedule::seqFixedSch;
 
 
 
-BeliefProp::BeliefProp (const FactorGraph& fg) : GroundSolver (fg)
+BeliefProp::BeliefProp (const FactorGraph& fg)
+    : GroundSolver (fg), nIters_(0), runned_(false)
 {
-  runned_ = false;
 }
 
 
diff --git a/packages/CLPBN/horus/ConstraintTree.h b/packages/CLPBN/horus/ConstraintTree.h
index cc9125224..d8cf0c9ad 100644
--- a/packages/CLPBN/horus/ConstraintTree.h
+++ b/packages/CLPBN/horus/ConstraintTree.h
@@ -44,7 +44,7 @@ class CTNode {
 
     Symbol symbol (void) const { return symbol_; }
 
-    void setSymbol (const Symbol s) { symbol_ = s; }
+    void setSymbol (Symbol s) { symbol_ = s; }
 
     CTChilds& childs (void) { return childs_; }
 
@@ -237,8 +237,8 @@ ConstraintTree::logVarSet (void) const
 inline size_t
 ConstraintTree::nrLogVars (void) const
 {
-  return logVars_.size();
   assert (LogVarSet (logVars_) == logVarSet_);
+  return logVars_.size();
 }
 
 }  // namespace Horus