>>> traverse_check_after(a, 0, {})
a
__b
____c
Already in cache: a
__d