#686 Confluence check: more debug output and more termination checking

Solution assumes that termination request cannot be unrequested. Otherwise the tool might return incorrect results.

Closes #686 (closed).