let add_prop_call_pre acc kind id ~assumes pre =
  (* TODO: we don't build the id here yet because of strange things in wpAnnot.
  *        Find out how to deal with it. [2011-07-13-Anne] *)

  let labels = NormAtLabels.labels_fct_pre in
  let p = Logic_const.pred_of_id_pred pre in
  let p = Logic_const.pimplies (assumes, p) in
    add_prop acc kind labels id p