Add RedoubleAfterDoubledStayman