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