Просто TOF как бы "подвисает" о включенном состоянии- т.е. CLK и Q остаются в состоянии TRUE. А почему такое происходит - загадка.
Q внутри условия хоть как будет TRUE потому что само условие у вас как раз по переменной Q. А ещё мы не знаем, как там у вас CLK изменяется.
Что такое TOF ?
TON вверх ногами.