let prepare_pre config ki bhv pre =
  let p = Logic_const.pred_of_id_pred pre in
    prepare_pre_pred config ki bhv pre p