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