let pp_edge fmt e = Format.fprintf fmt "%a -%a-> %a" pp_node (CFG.E.src e) EL.pretty (edge_type e) pp_node (CFG.E.dst e)