Реализация отношеня 2-х часовых

Четко до точки разворота=невозврата.
Как все выглядит на других видах формального анализа, я не рисую.