let dot_lannots cfg lannots =
  let do_dot annots =
    let pp_annots fmt e =
      WpAnnot.pp_annots fmt (annots.WpAnnot.get_annots e)
    in
    let bhv = annots.WpAnnot.behavior_name in
    ignore (Cil2cfg.dot_annots cfg bhv pp_annots)
  in List.iter do_dot lannots