Note that in the current implementation, the pruned choice points and 
environment frames are not reclaimed. As a consequence, where 
predicates that are deterministic due to clause indexing, normal cuts or
(if\send{then};else) and and tail recursive run in bounded 
local stack space, predicates using prolog_cut_to/1 
will run out of stack.