Df clean code

Does this test work even without ASSERTS, in release build.