let add_behaviors_spec kind a acc = 
  let txt = kind^"_behaviors" in
  add NormAtLabels.labels_fct_pre acc (PKbhvProp (txt, a))