Because the DistinctLimitNode does not introduce any new symbols, you should basically replicate what the visitLimit is doing here. The output symbols will always be the same as the input, so there is no point in displaying them.