Hi again,
I wrote:
And here is the program I used to generate the program to test for further bugs of the same type.
Sorry - this program tests for the wrong thing. I am going to correct it Real Soon Now.
In the meantime, be welcome to test the correctness of the bug fix by yourself. ;-)
Peter