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