let add_bhv_assigns config kind ki acc a_fun b =
  match b.b_assigns with
    | [] -> acc
    | assigns ->
        let l, labels = ki_assigns_labels ki in
        add_assigns config kind ki (Some b) assigns acc {
          a_label = l ; a_fun = a_fun ; a_kind = StmtAssigns ;
          a_assigns = merge_assigns labels assigns ;
        }