Convert dot abbreviation to a token
Convert double dot abbreviation to a token
Use the deabbreviator for the current node abbreviation
Use the deabbreviator for the parent node abbreviation
No reason to push a token into the buffer just to pop it out again