Adds reportEvaluateWrongsPrior/4 and reportEvaluateWrongsPriorDB/3 predicates.