compare trees with different parents, also detect autotupling of arity 0