debug testsuite: proper asserts