public override Operator getNegatedNormalForm() { //try //{ BinaryOperator bo = new BinaryOperator(); bo = this; bo.setOperands(m_left.getNegatedNormalForm(), m_right.getNegatedNormalForm()); return bo; /*} catch (CloneNotSupportedException e) { // This should not happen! //assert(false); return this; }*/ }