control flow
analyzer.