Refactor code into separate CLEAN-TEST and VERIFY-ANSI-TEST which facilitates interactive use of the package.