let pp_title fmt x =
         Format.fprintf fmt "Symmetry of Equality for %a"
           F.Compinfo.pp_title x