*
* @param n the node to copy
*
* @note If the copy is not changed, the next CSE operation will
* replace it by the original, so beware.
*/
*
* @param n the node to copy
*
* @note If the copy is not changed, the next CSE operation will
* replace it by the original, so beware.
*/