Function inlining works well now. Added more flow analysis.