let
pretty_pred = pretty