Correction to TP2 ex4e: assert individual visited nodes instead, and add
last resort case.