improved test coverage of abort() algorithm 4.3 and 5