Testing DefUseAnalyzer