Add treatment for corner cases of UNITY.

The tree negative gates are preprocessed before any analysis.
Only positive gates are left.
Add UNITY treatment in uncertainty analysis.
Remove negative gate and module logic from MCS analysis.
Appropriate reporting for UNITY case. Include documentation.
Fixes #91