debug-out refinement
fixed debug out (added target-FILE* to print() methods)
fixed previous commit (commented out double-visit protection and
disabled experimental ""short-circuit"" detection)
Merge branch 'master' into iterationcontrol