>>/90274/
 >>/90284/
Всё проще. Такие симуляторы плохо обрабатывают метастабильные состояния. Тем более тут какой-то статический анализ, который похоже не предполагает чтобы после его начала система еще и меняла состояние.