Returns a predicate procedure that, given a node, returns #t if the node has the same contents as other.