New interface: DefUseChainSearch