* @param oldToNewMap the map filled with the old node-new node relation
* @return a deep clone of this {@link TInt} node
*/
public TInt clone(Map<INode,INode> oldToNewMap)
{
TInt token = new TInt( getText());
oldToNewMap.put(this, token);
return token;
}