Simplify gate expansion by propagating complements.

Complements are propagated in pre-processing stage, so
no negative gates are expected in expansion stage.
Add new inputs to show if De Morgan's Law is handled.
Simplify Superset class to handle only positive gates.
Re-work for removal of house events from fault trees.