Eine (wenn auch nicht sehr elegante) Lösung habe ich gefunden:
Zunächst merke ich mir den Stand des Odometriezählers in einer Variable.
Bei jedem Programmdurchlauf zähle ich nun eine andere Variable hoch. Hat sie den Wert 10000 (ausprobiert) erreicht, schaue ich, ob der Odometerstand noch dergleiche ist. Ist dies der Fall, dann klemmt unser Freund irgendwo. Mit "voller Kraft zurück" kann ich ihn dann aus seiner mißlichen Lage befreien.
Danach setze ich die Variablen wieder zurück usw.