Wladimir traced it down. It's no problem with your models, but apparently a rare bug in the compiler - that's why no one noticed it so far and why it disappears when you change anything in the code. We'll change a part of the compiler and then provide a patch.