On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes