Refactor: Extract class FlowAnalyzer from DefUseAnalyzer