Fix bug where we should of said a run failed if we exhausted all other cases.
Fix bug where we should of said a run failed if we exhausted all
other cases.

symbooglix/boogie-runner,symbooglix/boogie-runner