Function clean_predicate 

pub(crate) fn clean_predicate<'tcx>(
    predicate: Clause<'tcx>,
    cx: &mut DocContext<'tcx>,
) -> Option<WherePredicate>