Fix stupid in tree comparison
Fix number of children comparison in tree comparer
Search a tree for subtree