Add ThrowStatement
Add FlowAnalyzer