Thank you for this explanation. AFAICT, the test above this one (`AcceptReturnsTheCorrectVisitorInstance`) does do _Data Flow Verification_, right? What I should have done was delete this test? As you can probably tell, I'm not 100% sure I've understood correctly yet, but I'll go and re-read and hopefully be sure soon :)