Return T if X and Y are isomorphic trees with identical leaves.
(sb-impl::x sb-impl::y &key sb-impl::test sb-impl::test-not)