but the bug you are encountering is surely related to this optimization.

It could be. But the more I think of this, the more I think it might not necessarily be the case.

Well, at least the reader now knows the common cause of this error.