La duda más estúpida del mundo ...
t_on_branch(n) "salta" automáticamente después del lookup() o la secuencia es t_on_branch(n) ... lookup() ... t_relay() ¿?
Porque siendo el segundo caso ¿que pasa si solo hay un AoR y no varios? .. ¿salta igualmente al branch_route[n]?