The following bugs in buildBdd() functions of classes Greater, Geq, Leq,
and Less Cells are fixed.
454c454
< if (n() == 0) n = BddNodeV::_zero;