Control_flow_based_type_analysis