s2t decoder: use [X] for source non-terminals in trace file