let prepare_fct_post config bhv tkind _assumes post =
let p = Logic_const.pred_of_id_pred post in
(*let assumes = Logic_const.pold assumes in
let p = Logic_const.pimplies (assumes, p) in *)
let prop_id = mk_fct_post_id config.kf bhv tkind post in
let labels = NormAtLabels.labels_fct_post in
(labels, prop_id, p)