removed recovery code from ThatInt tests
assertions go to the end