Revert "Isolate cut in if_/3 subgoals"

This reverts commit 32d8991.

Author: hurufu

src/lib/reif.pl

@@ -66,15 +66,7 @@
    \+ predicate_property(M:G_0, (meta_predicate _)),
    !,
    MGx_0 = M:G_0.
-goal_expanded(call(if_(A,B,C)), if_(A,B,C)) :-
-   acyclic_term(if_(A,B,C)),
-   !.
-goal_expanded(call(M:G_0), M:G_0) :-
-   acyclic_term(G_0),
-   nonvar(G_0),
-   atom(M),
-   !.
-goal_expanded(call(G_0), call(Gx_0)) :-
+goal_expanded(call(G_0), Gx_0) :-
    acyclic_term(G_0),
    nonvar(G_0),
    % more conditions

src/tests/reif.pl

@@ -28,8 +28,7 @@
 )).
 
 test("doesnt modify free variables", (reif:goal_expanded(A,B), A == B, var(A))).
-test("doesnt expand call/1", reif:goal_expanded(call(a), call(a))).
-test("expands call(if_/3)", reif:goal_expanded(call(if_(A,B,C)), if_(A,B,C))).
+test("expands call/1", reif:goal_expanded(call(a), a)).
 test("expands call/1 for modules", reif:goal_expanded(call(a:b(1)), a:b(1))).
 test("expands call/2 for modules", reif:goal_expanded(call(a:b,c), a:b(c))).
 test("doesn't expand call/2", reif:goal_expanded(call(b,c), call(b,c))).
@@ -55,38 +54,38 @@
 */
 test("goal_expansion (=)", (
     subsumes_full_expansion(if_(1=2,a,b), (
-        1 \= 2 -> call(b)
-    ;   1 == 2 -> call(a)
-    ;   1 = 2, call(a)
-    ;   dif(1,2), call(b))))).
+        1 \= 2 -> b
+    ;   1 == 2 -> a
+    ;   1 = 2, a
+    ;   dif(1,2), b)))).
 
 test("goal_expansion (;)", (
     subsumes_full_expansion(if_((1=2;3=3),a,b), (
         1 \= 2 -> if_(3=3,a,b)
-    ;   1 == 2 -> call(a)
-    ;   1 = 2, call(a)
+    ;   1 == 2 -> a
+    ;   1 = 2, a
     ;   dif(1,2), if_(3=3,a,b))))).
 
 test("goal_expansion (,)", (
     subsumes_full_expansion(if_((1=2,3=3),a,b), (
-        1 \= 2 -> call(b)
+        1 \= 2 -> b
     ;   1 == 2 -> if_(3=3,a,b)
     ;   1 = 2, if_(3=3,a,b)
-    ;   dif(1,2), call(b))))).
+    ;   dif(1,2), b)))).
 
 test("goal_expansion memberd_t", (
     subsumes_full_expansion(if_(memberd_t(f,"abcdefgh"),t,f), (
         call(memberd_t(f,"abcdefgh"),A),
-        (   A == true  -> call(t)
-        ;   A == false -> call(f)
+        (   A == true  -> t
+        ;   A == false -> f
         ;   nonvar(A)  -> throw(error(type_error(boolean,A),_))
         ;   throw(error(instantiation_error,_))))))).
 
 test("goal_expansion cond_t", (
     subsumes_full_expansion(if_(cond_t(a,b),t,f), (
         call(cond_t(a,b),A),
-        (   A == true  -> call(t)
-        ;   A == false -> call(f)
+        (   A == true  -> t
+        ;   A == false -> f
         ;   nonvar(A)  -> throw(error(type_error(boolean,A),_))
         ;   throw(error(instantiation_error,_))))))).