fn build_cfg_info(body: &ExprBody) -> CfgInfo
Build the CFGs (the “regular” CFG and the CFG without backward edges) and compute some information like the loop entries and the switch blocks.