symmetric tree checker