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