let pp_pred_of_pred_info fmt (_id, p) = !Ast_printer.d_predicate_named fmt p