let pp_pred = pretty#alpha pretty#pp_pred