let pretty_edge fmt e = 
  Format.fprintf fmt "%a -%a-> %a" 
    VL.pretty (CFG.E.src e) EL.pretty !(CFG.E.label e) VL.pretty (CFG.E.dst e)