Detect division to clause

org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java

@@ -776,6 +776,7 @@ public class ConflictMap extends MapPb implements IConflict {
                     }
                 }
             }
+            listener.divideReason(degree);
         }
         return degreeResult;
     }