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