let add_behaviors_props config ki spec acc =
  let add = match config.cur_bhv, ki with
    | FunBhv b, Kglobal when b = Cil.default_behavior_name -> true
    | StmtBhv (_, cur_s,  b), Kstmt s
        when (s.sid = cur_s.sid && b = Cil.default_behavior_name) -> true
    | _ -> false
  in
    if add then
      let acc = add_complet_behaviors_props config ki spec acc in
      let acc = add_disjoint_behaviors_props config ki spec acc in
        acc
    else acc