Function clean_clause 

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