Intent of returns_sentinel_when_no_output_exists

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