toAnalyzedFailure

Default mapping of an abort to an AnalyzedFailure for record-keeping.