let pp_pred fmt p =
    if Wp_parameters.debug_atleast 1 then
      pp_pred_debug fmt p
    else
      pp_pred_vbox fmt p