internal override object CloneInstance() { var result = (UnaryFormulaTree) base.CloneInstance(); CloneMember(ref result._child); return result; }