Added explicit PrintWriter to RCheck* classes

RCheck* classes are supposed to write their error to that writer, so that proper
log files are available.
The deduction results will only be commited to the DB iff that writer did
produce an empty file!