Trace comments for some asserts