Add multiple kinds of determinacy checking

[kamahen]

See discussion at https://swi-prolog.discourse.group/t/how-to-find-unexpected-choicepoints/2423/14

(Adding this Issue as something for me to work on)