Added special case to smc.py to handle impossible outcomes.

See the comments in smc.py:186 for more details.