diff --git a/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java b/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java
index 919323a27969dc99943b5aaa42131d1a2728c183..fbc4b85f49c8e657ae2af8fed33430eca61faa46 100644
--- a/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java
+++ b/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java
@@ -131,7 +131,8 @@ public class MapPb implements IDataStructurePB {
             }
         }
         if (newcase) {
-            BigInteger value = this.weightedLits.getCoef(0);
+            return false;
+            /*BigInteger value = this.weightedLits.getCoef(0);
             for (int i = 1; i < size(); i++) {
                 if (!this.weightedLits.getCoef(i).equals(value)) {
                     return false;
@@ -141,7 +142,7 @@ public class MapPb implements IDataStructurePB {
             BigInteger[] division = degree.divideAndRemainder(value);
             if (!division[1].equals(BigInteger.ZERO))
                 division[0] = division[0].add(BigInteger.ONE);
-            this.cardDegree = division[0];
+            this.cardDegree = division[0];*/
         } else
             this.cardDegree = degree;
         return true;