Extended CSPBinaryTreeUtils to detect paths in graphs with eventual loop...

...s.

Also, upgraded existing CSPBinaryTreeTests to use the shorthand notation
for constructing instances (more concise).