Corrected problem in stripping tests and code. When neither the lem nor a rdg specify the supplied witness, the lem must be used.