optimizing ReachDefsDefUseChainSearch