Computing predicate-DefUseChain (definition-use associations)