Tremaux's algorithm