Computing DefUseChain performing a series of depth-first searches