> [...] > By introducing the patch below, an error will occur as expected. > > [...] Can you explain your patch? What does it do and how does it do it? In particular, can you explain how it makes the implementation "sound"? -- Roberto