After merging with master branch ...

diff --cc src/Encoders/orderencoder.c
index 3c840e72db264e87772a6187869c003644ac595a,00c64688678ab11aebde57b33f1d22ca10e2e5cd..99f826baeb59ab33132caa707a8aa6914b9d7fa8
--- 1/src/Encoders/orderencoder.c
--- 2/src/Encoders/orderencoder.c
+++ b/src/Encoders/orderencoder.c
@@@ -391,12 -379,16 +380,18 @@@ void decomposeOrder(CSolver *This, Orde
                        addOrderConstraint(neworder, orderconstraint);
                }
        }
-       for(uint i=0; i<getSizeVectorOrder(&ordervec); i++){
-               Order* order = getVectorOrder(&ordervec, i);
-               if(order!=NULL)
+ 
+       uint pcvsize=getSizeVectorOrder(&partialcandidatevec);
+       for(uint i=0;i<pcvsize;i++) {
+               Order * neworder=getVectorOrder(&partialcandidatevec, i);
 -              if (neworder != NULL)
++              if (neworder != NULL){
+                       neworder->type = TOTAL;
 +                      model_print("i=%u\t", i);
++              }
        }
+       
        deleteVectorArrayOrder(&ordervec);
+       deleteVectorArrayOrder(&partialcandidatevec);
  }
  
  void orderAnalysis(CSolver *This) {