use token positions in order to restore already used IDs when nodes where copyied because of DNF normalization