let pred_of_id_pred p =
  { name = p.ip_name; loc = p.ip_loc; content = p.ip_content }