Algorithm Fixed: Tideman
Let:
Node A has no incoming edges → .