Add failing test-3 properties 4a~d.
refactor: Implement and use flatten helper.