do not count calls to $reify_switch as inferences

diff --git a/src/prolog/lib/reif.pl b/src/prolog/lib/reif.pl
index dc7a68a07a3129a7d9be336bb24e0e6a15c4dfc7..ad12fcc61481b497d3fc6246ef6a951f50dc2864 100644 (file)
--- a/src/prolog/lib/reif.pl
+++ b/src/prolog/lib/reif.pl
@@ -5,18 +5,18 @@
 :- use_module(library(control), [(\=)/2]).
 :- use_module(library(dif)).
 
-/* in essence, '$reify_switch'(T, Then_0, Else_0) is this:
+/* in essence, '$reify_switch'(T, Then_0, Else_0) is semantically this:
     (  T == true -> call(Then_0)
     ;  T == false -> call(Else_0)
     ;  nonvar(T) -> throw(error(type_error(boolean, T), _))
     ;  throw(error(instantiation_error, _))
     ).
-    but without creating choice points.
+    but it does not create choice points.
 */
 
 if_(If_1, Then_0, Else_0) :-
     call(If_1, T),
-    '$reify_switch'(T, Then_0, Else_0).
+    '$call_with_default_policy'('$reify_switch'(T, Then_0, Else_0)).
 
 =(X, Y, T) :-
     (  X == Y -> T = true