Revert "Remove seemingly unnecessary case from subsolvers."
Revert "Remove seemingly unnecessary case from subsolvers."

This reverts commit 15366e2505c32b043d2f94f70b40c8c68d2d905a.

ogbash/doug,ogbash/doug,ogbash/doug,ogbash/doug,ogbash/doug