Implicit node visitor and simplification

[JonathanSalwan]

diff --git a/src/libtriton/engines/symbolic/symbolicSimplification.cpp b/src/libtriton/engines/symbolic/symbolicSimplification.cpp
index 960c7994..c45d0f4d 100644
--- a/src/libtriton/engines/symbolic/symbolicSimplification.cpp
+++ b/src/libtriton/engines/symbolic/symbolicSimplification.cpp
@@ -181,8 +181,12 @@ namespace triton {
           throw triton::exceptions::SymbolicSimplification("SymbolicSimplification::processSimplification(): node cannot be null.");
 
         /* process recorded callback about symbolic simplifications */
-        if (this->callbacks)
-          node = this->callbacks->processCallbacks(triton::callbacks::SYMBOLIC_SIMPLIFICATION, node);
+        if (this->callbacks) {
+          for (triton::uint32 index = 0; index < node->getChildren().size(); index++)
+            node->setChild(index, this->processSimplification(node->getChildren()[index]));
+
+          if (node->getBitvectorSize())
+            node = this->callbacks->processCallbacks(triton::callbacks::SYMBOLIC_SIMPLIFICATION, node);
+        }
 
         return node;
       }

This patch need to be tested in several ways before merging.

[JonathanSalwan]

merged