let add_prop_fct_post acc kind kf  bhv tkind post =
  let id = WpPropId.mk_fct_post_id kf bhv (tkind, post) in
  let labels = NormAtLabels.labels_fct_post in
  let p = Logic_const.pred_of_id_pred post in
    add_prop acc kind labels id p