Adding detection of anti-dependences through use-def chains