let new_predicate p =
  incr __pred_count;
  { ip_id = !__pred_count;
    ip_content = p.content; ip_loc = p.loc; ip_name = p.name }