I think the positions in my diff get printed from the symbols, rather than the trees.