relit_conflictingly_lesser