Where in the swi-prolog code is the need for the creation of choice points checked