let mk_pred_info id p = (id, p)