Search the whole search tree for a solution

[pevnak]

If we have rules, which can increase the size of the expression, you cannot search only leaves, but also inner nodes, because there could be a small expressions which was rewritten to large one.

[Josek20]

[Josek20]

I look into all nodes in the tree