2 ms·

Yep, you're right. I should've just said that the condition of the if statement can in general be undecidable.