Function clean_middle_term 

fn clean_middle_term<'tcx>(
    term: Binder<'tcx, Term<'tcx>>,
    cx: &mut DocContext<'tcx>,
) -> Term