Implements reportEvaluate/4 that automatically prunes before reportEvaluateWrongs/4