let pretty fmt wp = F.pp_pred fmt (zip wp)