let get_behavior_annots bname cfg =
  let kf = Cil2cfg.cfg_kf cfg in
  let spec = get_spec kf in
  let bhv = get_behav bname spec.spec_behavior in
    match bhv with 
      | None -> 
          if bname == Macros.name_of_default_behavior 
          then Some (get_bhv_annots None cfg)
          else None 
      | _ -> Some (get_bhv_annots bhv cfg)