Added tests for proper collapsing of saturated and empty nodes.
Bugs in collapsing of saturated and empty nodes.
TODO: Test fails for Bzet64 in NOT operation