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