Intent of when_buffers_are_empty_should_produce_0

All 267 exact tests in this concept. Every test is marked by where it enters the hierarchy.