diff --git a/packages/CLPBN/clpbn/bp/examples/smokers.yap b/packages/CLPBN/clpbn/bp/examples/smokers.yap
deleted file mode 100644
index c5c57b536..000000000
--- a/packages/CLPBN/clpbn/bp/examples/smokers.yap
+++ /dev/null
@@ -1,31 +0,0 @@
-:- use_module(library(pfl)).
-
-%:- set_solver(fove).
-%:- set_solver(hve).
-%:- set_solver(bp).
-%:- set_solver(cbp).
-
-:- yap_flag(write_strings, off).
-
-:- multifile people/1.
-
-people @ 5.
-
-friendship(X,Y) :-
-    people(X),
-    people(Y).
-%    X \== Y.
-
-markov smokes(X)::[t,f] ; [1.0, 1.4] ; [people(X)].
-
-markov asthma(X)::[t,f] ; [1.0, 2.3] ; [people(X)].
-
-markov friends(X,Y)::[t,f] ; [1.0, 4.6] ; [friendship(X,Y)].
-
-markov asthma(X)::[t,f], smokes(X)::[t,f] ; [1.5, 1.0, 1.5, 1.5] ; [people(X)].
-
-markov asthma(X)::[t,f], friends(X,Y)::[t,f], smokes(Y)::[t,f] ;
-    [1.1, 1.0, 1.1, 1.1, 1.1, 1.1, 1.1, 1.1] ; [friendship(X,Y)].
-
-% ?- smokes(p1,t), smokes(p2,t), friends(p1,p2,X)
-
diff --git a/packages/CLPBN/clpbn/bp/examples/smokers1.yap b/packages/CLPBN/clpbn/bp/examples/smokers1.yap
new file mode 100644
index 000000000..ba5b095d1
--- /dev/null
+++ b/packages/CLPBN/clpbn/bp/examples/smokers1.yap
@@ -0,0 +1,31 @@
+:- use_module(library(pfl)).
+
+%:- set_solver(fove).
+%:- set_solver(hve).
+%:- set_solver(bp).
+%:- set_solver(cbp).
+
+:- yap_flag(write_strings, off).
+
+:- multifile people/1.
+
+people @ 5.
+
+people(X,Y) :-
+    people(X),
+    people(Y),
+    X \== Y.
+
+markov smokes(X)::[t,f]; [1.0, 4.0552]; [people(X)].
+
+markov cancer(X)::[t,f]; [1.0, 9.9742]; [people(X)].
+
+markov friends(X,Y)::[t,f] ; [1.0, 99.48432] ; [people(X,Y)].
+
+markov smokes(X)::[t,f], cancer(X)::[t,f] ; [4.48169, 4.48169, 1.0, 4.48169] ; [people(X)].
+
+markov friends(X,Y)::[t,f], smokes(X)::[t,f], smokes(Y)::[t,f] ;
+    [3.004166, 3.004166, 3.004166, 3.004166, 3.004166, 1.0, 1.0, 3.004166] ; [people(X,Y)].
+
+% ?- friends(p1,p2,X).
+
diff --git a/packages/CLPBN/clpbn/bp/examples/smokers2.yap b/packages/CLPBN/clpbn/bp/examples/smokers2.yap
new file mode 100644
index 000000000..af0327e8f
--- /dev/null
+++ b/packages/CLPBN/clpbn/bp/examples/smokers2.yap
@@ -0,0 +1,31 @@
+:- use_module(library(pfl)).
+
+%:- set_solver(fove).
+%:- set_solver(hve).
+%:- set_solver(bp).
+%:- set_solver(cbp).
+
+:- yap_flag(write_strings, off).
+
+:- multifile people/1.
+
+people @ 5.
+
+people(X,Y) :-
+    people(X),
+    people(Y).
+%    X \== Y.
+
+markov smokes(X)::[t,f]; [1.0, 4.0552]; [people(X)].
+
+markov asthma(X)::[t,f]; [1.0, 9.9742] ; [people(X)].
+
+markov friends(X,Y)::[t,f]; [1.0, 99.48432] ; [people(X,Y)].
+
+markov asthma(X)::[t,f], smokes(X)::[t,f]; [4.48169, 4.48169, 1.0, 4.48169] ; [people(X)].
+
+markov asthma(X)::[t,f], friends(X,Y)::[t,f], smokes(Y)::[t,f];
+    [3.004166, 3.004166, 3.004166, 3.004166, 3.004166, 1.0, 1.0, 3.004166] ; [people(X,Y)].
+
+% ?- smokes(p1,t), smokes(p2,t), friends(p1,p2,X)
+