Big bottoms ....
When all the inputs of a node are bottoms ... Delete the node (even if it is an unknown gate).
This is to be done in the dangling_bottoms
functions ...
When all the inputs of a node are bottoms ... Delete the node (even if it is an unknown gate).
This is to be done in the dangling_bottoms
functions ...