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