Emit a different exit code if we hit a disallowed speculative path. This usually means something went wrong with the solver and we want to know about this.
Emit a different exit code if we hit a disallowed speculative path.
This usually means something went wrong with the solver and we want to
know about this.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix