[cvs-nhc98] Hat-Lib: Assure that traces of aborted computations have n