Hi Rob,
Thanks for the observation.
I've made the code as small as possible, but since the occurrence of the
error very much depends on the context, some context code is necessary.
Yes, it often takes some time to further reduce code without losing the bug. This is my result so far [1]; let’s see what we can find out.
Best, Christian