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