let get_behavior_names ~with_default spec =
  let rec get_named_bhv lb = match lb with [] -> []
    | b::tlb ->
        if Cil.is_default_behavior b
        then (* do it later*) get_named_bhv tlb
        else (b.b_name)::(get_named_bhv tlb)
  in let named_bhv = get_named_bhv spec.spec_behavior in
    if with_default then Cil.default_behavior_name::named_bhv else named_bhv