log previously-seen name in trace
make depth limiter somewhat more sophisticated