CoCo has options for manual validation for code branches that are difficult to test by test suite. Manual validation can be done from coveragebrowser GUI or annotating code. The latter is attempted here, but seems like some old sins from GUI validation increases the manual validation blocks too much or at some places doesn't validate a condition.

Attempting to make things go right with validation and produce nice report.