Testing coverage enforcements; Bugfix: reporting misuse of coverage line whitelisting was defective