Check Tree Isomorphism prob