public override REBase Copy() { if (Operand != null) { return(new RENot(Operand.Copy())); } else { return(new RENot()); } }