Revert "FIXED: CLP(B): Delay BDD restriction until after the instanti…

…ation."

This reverts commit e185b62.

This change is now no longer needed, and the underlying issue is
apparently somewhere else entirely. See the description at:

    #2732

Current master behaves differently from Scryer as it was at
099d9aa (i.e., preceding
the commit that is now being reverted), even on the same file.

For an example, see:

    triska@dd41176

Scryer now works as expected, and compatibly with SICStus. We still
need to find out what fixed the root cause of this issue.

src/lib/clpb.pl

@@ -3,7 +3,7 @@
     Author:        Markus Triska
     E-mail:        triska@metalevel.at
     WWW:           https://www.metalevel.at
-    Copyright (C): 2019-2023 Markus Triska
+    Copyright (C): 2019-2025 Markus Triska
 
     Permission is hereby granted, free of charge, to any person
     obtaining a copy of this software and associated documentation
@@ -1150,8 +1150,9 @@
             (   integer(Other) ->
                 (   between(0, 1, Other) ->
                     root_get_formula_bdd(Root, Sat, BDD0),
+                    bdd_restriction(BDD0, I, Other, BDD),
                     root_put_formula_bdd(Root, Sat, BDD),
-                    Gs = [bdd_restriction(BDD0,I,Other,BDD),satisfiable_bdd(BDD)]
+                    Gs = [satisfiable_bdd(BDD)]
                 ;   no_truth_value(Other)
                 )
             ;   atom(Other) ->