Bug fix: A predicate-use DefUseChain should be always global