Теперь, если мы возьмём полный код программы Opposite и засунем его внутрь самого себя для анализа, указав за входные данные ту же самую Opposite. Как-то это должно выглядеть так: Op1 -> Op2 -> Op3. Если Op2 остановится, то Op1 (которая полностью аналогична Op2 и получает те же самые данные на входе) не остановится. И наоборот, если Op2 не остановится, то Op1 остановится. Что, вообще-то, противоречие.
Что за хуйню я сейчас прочитал? Опять нейронов тестируете что ли?