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;
        }*/
    }