swift234

Separate unavoidable failures from failures that occur under some set of assumptions.

The former should always be recorded, because they are always
reported, and require far less effort to report. The latter can be
lazily computed (only when we found no solution and no unavoidable
failures) and will require far more work to diagnose. No functionality
change.


Swift SVN r5340