termsink

 ?- trace,termsink(X),X=2,termsink(X),X=3,termsink(X),X=4.
   Call: (8) termsink(_G1419) ? creep
   Exit: (8) termsink(_G1419{}) ? creep
   Call: (8) _G1419{}=2 ? creep
   Exit: (8) _G1419{}=2 ? creep
   Call: (8) termsink(_G1419{}) ? creep
   Exit: (8) termsink(_G1419{}) ? creep
   Call: (8) _G1419{}=3 ? creep
   Exit: (8) _G1419{}=3 ? creep
   Call: (8) termsink(_G1419{}) ? creep
   Exit: (8) termsink(_G1419{}) ? creep
   Call: (8) _G1419{}=4 ? creep
   Exit: (8) _G1419{}=4 ? creep
true.


 (8) termsink(_G1671) ? creep
   Exit: (8) termsink(_G1671{}) ? creep
   Call: (8) _G1671{}=2 ? creep
   Exit: (8) _G1671{}=2 ? creep
   Call: (8) _G1671{}=3 ? creep
   Exit: (8) _G1671{}=3 ? creep
   Call: (8) _G1671{}=4 ? creep
   Exit: (8) _G1671{}=4 ? creep