Allowing again the option AddDownPropagator for EigCG solver