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