Comment 6 for bug 1239462

a partial fix has been committed to rev 12756.
I was going to mark this as Fix Committed, when I accidentally produced a counter-example that fails. However I did not save the counter-example, so am not precisely sure if this is fixed or not.