#133: check for already seen objects