Add Reporting as a test for benchmark cases.
Refactoring for FTA MC to correctly handle NOT logic.
FTA MC NOT gate correct reporting and tests.