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