diff --git a/packages/CLPBN/horus/LiftedKc.cpp b/packages/CLPBN/horus/LiftedKc.cpp
index baf8b5fed..c0ea76b8c 100644
--- a/packages/CLPBN/horus/LiftedKc.cpp
+++ b/packages/CLPBN/horus/LiftedKc.cpp
@@ -953,8 +953,7 @@ LiftedCircuit::getAllPossibleTypes (unsigned nrLogVars) const
   vector<LogVarTypes> res;
   if (nrLogVars == 0) {
     // do nothing
-  }
-  if (nrLogVars == 1) {
+  } else if (nrLogVars == 1) {
     res.push_back ({ LogVarType::POS_LV });
     res.push_back ({ LogVarType::NEG_LV });
   } else {