One more case for pos-residuals
Some simplifications with pos-residuals
Ready to try with a better notion of pos-residuals