let pp_title fmt x =
         Format.fprintf fmt
           "Predicate is initial value of type %a" F.Cobject.pp_title x