acyclic access test for compilcated objects.