A lot of work done for generated expression evaluation.
Evaluation function working good, it should test for the number of solution trees.