Inference counter when debugging entry and exit.
Cleanup, comments.
Improved logging messages.
"break" statements from inside 2 loops now break to the outer thanks to label.
Focussing more on finding CUT bug.