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