Binary tree: check symmetry, compare two trees