Correction condition NonOverLapRight. Test OKs.