Implements reportEvaluateFatalMistake/3