let mkpred pnode loc = { ip_name = []; ip_loc = loc; ip_id = Logic_const.fresh_predicate_id (); ip_content = pnode; }