A more practical test-case

This case should fail as-is. Make it work?