Special case in dead-end checking which prevents the solver falling