[cvs-nhc98] patch applied (hat): Hat-Lib: Assure that traces of aborted computations have never Entered in a Forward node.