public static JunctionTreeInferencer createForMaxProduct() {
   return new JunctionTreeInferencer(JunctionTreePropagation.createMaxProductInferencer());
 }