Okay, I think that this is fine. Creating a tree from just a symbol, as is done in tree printing post-parser, is inherently lossy wrt positions.