Debugging of cleanup:assumption_test()