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