After half an hour of debugging I realised (stupid me) that the case I was testing - which was valid 2 statements before my current line - had been changed in the statement just before. So it never was valid. And here I thought the machine was failing, but it was just my brain...