>*That* is the problem with flattening record traversal.

Thank you for the crystal clear explanation. This is quite serious. Developers will curse this behaviour.

@francoisfonteyn thank you very much for putting in the effort to fix this!