Implements reportUncheck/3
Implements reportPruneStandAlone/2 and reportPrune/4