Function do_normalize_clauses 

fn do_normalize_clauses<'tcx>(
    tcx: TyCtxt<'tcx>,
    cause: ObligationCause<'tcx>,
    elaborated_env: ParamEnv<'tcx>,
    clauses: Vec<Clause<'tcx>>,
) -> Vec<Clause<'tcx>>