let
mk_pred_info id p = (id, p)