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 ;
}