Вот что-то задумался над таким вопросом, допустим алгоритм расходится на две ветки, в одной ветке есть обновляемое значение к которому идет обращение из второй ветки, мучает вопрос - как понять - обновляемое значение будет уже с новым значением на данном цикле или еще со старым, в какой момент происходит подмена обновляемого значения?

Обновляемое значение обновляется, в момент срабатывания условия обновления.