diff --git a/src/CommonSOG.cpp b/src/CommonSOG.cpp
index 6ef58343684d375b591961dca8b6932e7c620bd7..ab4d06272728f247044e57508af44fe67941f70e 100644
--- a/src/CommonSOG.cpp
+++ b/src/CommonSOG.cpp
@@ -178,12 +178,12 @@ bool CommonSOG::Set_Div(MDD &M) const {
         }
 
         if (Reached == From) {
-            MDD Reached_obs=lddmc_false;
+            /*MDD Reached_obs=lddmc_false;
             for (i = m_observable.begin(); !(i == m_observable.end()) && (Reached_obs==lddmc_false); i++) {
                 Reached_obs= fireTransition(From, m_tb_relation[(*i)].getMinus(), m_tb_relation[(*i)].getPlus());
             }
-            if (Reached_obs==lddmc_false) return true;
-            return false;
+            if (Reached_obs==lddmc_false) return true;*/
+            return true;
         }
         From = Reached;
     } while (Reached != lddmc_false);
diff --git a/src/LDDState.cpp b/src/LDDState.cpp
index 0028e856038a1d92181db7383d5df9e7b16dd65f..d48f621681a714da6731cb8efd0209076842678f 100644
--- a/src/LDDState.cpp
+++ b/src/LDDState.cpp
@@ -58,23 +58,6 @@ vector<uint16_t> LDDState::getUnmarkedPlaces(set<uint16_t>& lplacesAP) {
         }
     }
     return result;
-    /*cout<<"Display begin"<<endl;
-    for (auto & iter : lplacesAP)
-        cout<<iter<<endl;
-    cout<<"Display end"<<endl;*/
-    /*uint16_t depth=0;
-    while (mdd>lddmc_true)
-    {
-        //printf("mddd : %d \n",mdd);
-        mddnode_t node=SylvanWrapper::GETNODE(mdd);
-        if (lplacesAP.find(depth)!=lplacesAP.end())
-        if (SylvanWrapper::mddnode_getvalue(node)==0) {
-            result.push_back(depth);
-        }
-        mdd=SylvanWrapper::mddnode_getdown(node);
-        depth++;
-    }
-    return result;*/
 }