DFAnalyzer
